Abstract
This paper gives a brief introduction to the system Java Geometry Expert (JGEX). This system consists of three parts: the drawing part, the proving and reasoning part, and the most distinctive part – the part for generating visually dynamic presentation of proofs in plane geometry. The current version of JGEX is beta 0.80, which is available at our website woody: http://woody.cs.wichita.edu .
The work reported here was supported by NSF Grant CCR-0201253.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Cut-the-knot, http://www.cut-the-knot.org/pythagoras/index.shtml
Chou, S., Gao, X., Ye, Z.: Java geometry expert server (2009), http://woody.cs.wichita.edu
Chou, S., Gao, X., Zhang, J.: Automated generation of readable proofs with geometric invariants, II. Theorem proving with full-angles. Journal Automated Reasoning 17, 325–347 (1996)
Chou, S.C.: Mechanical geometry theorem proving. Springer, Heidelberg (1988)
Chou, S.C., Gao, X., Ye, Z.: Java Geometry Expert. In: Proceedings of the 10th Asian Technology Conference in Mathematics, pp. 78–84 (2005)
Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. Journal of Automated Reasoning 25(3), 219–246 (2000)
Dolzmann, A., Sturm, T., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning 21(3), 357–380 (1998)
Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters Pub. (1998) (in Chinese)
Hongbo, L., Minde, C.: Proving theorems in elementary geometry with Glifford algebraic method. Chinese Math. Progress 26(4), 357–371 (1997)
Li, H.: Some applications of Clifford algebra to geometries. Automated Deduction in Geometry, 156–179 (1999)
Nelsen, R.: Proofs without words: Exercises in visual thinking. Mathematical Assn of Amer (1993)
Nelsen, R.: Proofs without words: More exercises in visual thinking. Mathematical Assn of Amer (2001)
Nelsen, R., Alsina, C.: Math Made Visual: Creating Images for Understanding Mathematics. Mathematical Assn of Amer (2006)
Wang, D.: Reasoning about geometric problems using an elimination method. Automatic Practical Reasoning, 147–185 (1989)
Wang, D.M., Gao, X.S.: Geometry theorems proved mechanically using Wu’method–part on Euclidean geometry. Mathematics-Mechanization Research Preprints 2 (1987)
Wen-Tsun, W.: On the decision problem and the mechanization of theorem proving in elementary geometry. Scientia Sinica 21(2), 159–172 (1978)
Ye, Z., Chou, S.C., Gao, X.S.: Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. Journal of Automated Reasoning 45, 1–24 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ye, Z., Chou, SC., Gao, XS. (2011). An Introduction to Java Geometry Expert. In: Sturm, T., Zengler, C. (eds) Automated Deduction in Geometry. ADG 2008. Lecture Notes in Computer Science(), vol 6301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21046-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-21046-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21045-7
Online ISBN: 978-3-642-21046-4
eBook Packages: Computer ScienceComputer Science (R0)