JGEX is a system which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs (VDDP). As a dynamic geometry software, JGEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic models which can do reasoning themselves. As a tool for dynamic presentation of proofs, JGEX is a valuable for teachers and students to write and present proofs of geometry theorems with various dynamic visual effects.
Geometry Expert was originally developed in 1994-1995 at WSU by S. C. Chou, X. S. Gao, and J. Z. Zhang. The Java version of GEX (JGEX) initially began in early 2004. However, the intensive work has been done since Zheng Ye at Zhejiang University, came to Wichita State University in November 2004.
The Wichita State University Geometry Theorem Proving Group is a direct descendent of The UT Automatic Theorem Proving Group The leader of this group, S. C. Chou, was a 1985 Ph.D. student of R. S. Boyer and J S. Moore. Professor Boyer was a 1971 Ph.D. student of Woody Bledsoe.
The current version of JGEX is 0.80 Beta. It's a beta version because we believe that there are still some bugs need to be fixed. However, we want to deliver this version to the users who are interested in JGEX so that they can help us to improve JGEX.
In order to run JGEX, the user needs to download the Java Runtime Environment by going to Sun's download page
See Also:
JGEX Help