An introduction to java geometry expert

Authors:
Zheng Ye;Shang-Ching Chou;Xiao-Shan Gao
Affiliations:
Zhejiang GongShang University, Zhejiang, China;Wichita State Univesity, Kansas;KLMM, Institute of Systems Science, Chinese Academy of Sciences, Beijing, China
Venue:
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Year:
2008

Citing 5
Cited 3

Mechanical geometry theorem proving

Mechanical geometry theorem proving
A New Approach for Automatic Theorem Proving in Real Geometry

Journal of Automated Reasoning
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Journal of Automated Reasoning
Some Applications of Clifford Algebra to Geometries

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Visually Dynamic Presentation of Proofs in Plane Geometry

Journal of Automated Reasoning

Geometry Constructions Language

Journal of Automated Reasoning
Unique factorization domains in the java computer algebra system

ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Formalization of wu's simple method in coq

CPP'11 Proceedings of the First international conference on Certified Programs and Proofs

Quantified Score

Hi-index	0.00

Visualization

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.