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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
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)