Advertisement

An Introduction to Java Geometry Expert

(Extended Abstract)
  • Zheng Ye
  • Shang-Ching Chou
  • Xiao-Shan Gao
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6301)

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 .

Keywords

Plane Geometry Geometry Theorem Proving Visually Dynamic Presentation Pythagoras’ Theorem 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 2.
    Chou, S., Gao, X., Ye, Z.: Java geometry expert server (2009), http://woody.cs.wichita.edu
  3. 3.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Chou, S.C.: Mechanical geometry theorem proving. Springer, Heidelberg (1988)zbMATHGoogle Scholar
  5. 5.
    Chou, S.C., Gao, X., Ye, Z.: Java Geometry Expert. In: Proceedings of the 10th Asian Technology Conference in Mathematics, pp. 78–84 (2005)Google Scholar
  6. 6.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters Pub. (1998) (in Chinese)Google Scholar
  9. 9.
    Hongbo, L., Minde, C.: Proving theorems in elementary geometry with Glifford algebraic method. Chinese Math. Progress 26(4), 357–371 (1997)Google Scholar
  10. 10.
    Li, H.: Some applications of Clifford algebra to geometries. Automated Deduction in Geometry, 156–179 (1999)Google Scholar
  11. 11.
    Nelsen, R.: Proofs without words: Exercises in visual thinking. Mathematical Assn of Amer (1993)Google Scholar
  12. 12.
    Nelsen, R.: Proofs without words: More exercises in visual thinking. Mathematical Assn of Amer (2001)Google Scholar
  13. 13.
    Nelsen, R., Alsina, C.: Math Made Visual: Creating Images for Understanding Mathematics. Mathematical Assn of Amer (2006)Google Scholar
  14. 14.
    Wang, D.: Reasoning about geometric problems using an elimination method. Automatic Practical Reasoning, 147–185 (1989)Google Scholar
  15. 15.
    Wang, D.M., Gao, X.S.: Geometry theorems proved mechanically using Wu’method–part on Euclidean geometry. Mathematics-Mechanization Research Preprints 2 (1987)Google Scholar
  16. 16.
    Wen-Tsun, W.: On the decision problem and the mechanization of theorem proving in elementary geometry. Scientia Sinica 21(2), 159–172 (1978)MathSciNetzbMATHGoogle Scholar
  17. 17.
    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)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Zheng Ye
    • 1
  • Shang-Ching Chou
    • 2
  • Xiao-Shan Gao
    • 3
  1. 1.Zhejiang GongShang UniversityZhejiangChina
  2. 2.Wichita State UnivesityKansasU.S.A.
  3. 3.KLMM, Institute of Systems ScienceChinese Academy of SciencesBeijingChina

Personalised recommendations