An Introduction to Java Geometry Expert (Extended Abstract)
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao · 2008
This paper gives a brief introduction to the system Java Ge- ometry 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.