|
The software Geometry Expert (GEX) was originally developed around 1994. It consists of two parts: the proving and reasoning part, and the drawing part. However, GEX uses Openwin under X-Window which is no longer supported by the Linux distributions after 2000. Thus we could not satisfy the requests for GEX from students and researchers in the world after 2000.
The Java version of Geometry Expert (JGEX) is an ongoing developing
system which initially began in early 2004 in Wichita State Univerisity. JGEX combines our approach of visually dynamic
presentation of proofs (VDPP), dynamic geometry software (DGS), and automated
geometry theorem prover (GTP) and.
1. A Tool for Visual Presentation of Proofs. The part of visual presentation of proofs makes JGEX most
distinctive from other geometry drawing systems on one side, and
from other geometry reasoning systems, including our previous
versions of GEX, on the other side. It is based on our work on
automated generation of readable proofs and on our approach to
geometric drawing. More>>
2. A Dynamic Geometry Software (DGS). The drawing
part of JGEX allows the user to construct the diagram interactively
and manipulate the diagram in a dynamic way, so JGEX is first a DGS.
However, JGEX has its distinctive features comparing to the three
commercial geometry drawing systems. More>>
3. An Automated Geometry Theorem Prover (GTP). Wu's
method, the Full Angle Method and the Deductive Database Method
based on Full Angle are implemented in JGEX as reasoning and
proving tool. More>>
|
