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 initially began in early 2004. However, the intensive work has been done since Zheng Ye at Zhejiang University, came here in November 2004. The JGEX version here is Beta-0.34. In order for your browser to run Java Geometry Expert, you need to download the Java 5.0 runtime environment by going to Sun's download page. If you use Windows, the download and installation process connects Java to your Internet Explorer (or firefox, etc) and your IE would not have problems in running JGEX. If you use the UNIX system, you might need to do more in order to connect Java to your browser. Let us assume that you use Netscape 7.2 and its directory is $net72, then you need to do the following link:
ln -s $java/jre/plugin/i386/ns7/libjavaplugin_oji.so $net72/pluginsassuming your jdk1.5.0_xx directory is $java. For mozilla and firefox you could do a similar process.
Although it can be used to draw a diagram and do other jobs such as dragging a point or animation, the result cannot be saved because we haven't setup the account mechanism to save the work for registered users. A graduate student working with me on his MS thesis promised to do the job together with other work. Currently, this page is mainly for demostration of examples worked out by myself. After starting the page, goto the "examples" menu that I divide into three categories:
Showcases -- the best in the category new (I need to work further) new -- examples worked out recently old -- examples worked out for previous versionsThe current version is Version 11/14/2005
Here are the explanations of the most important icons on the left. The icon
, if appears, is the most
important one
 |
|
 |
 |
 |
 |
 |
 |
 |
The bottum icons is to step a proof if it is prepared. We believe that it has been done for the first time. When stepping, the related geometry elements are highlighted or blinked. Thus the proof is vividly visualized. Currently, the proof steps are manually input. The proofs are either manunally worked out or are generated by our previous programs, mainly based on the full-angle method and the area method. Our finally goal is to automatically put the manchine generated proofs into this graphic proof frame.
if 
appears. You can double-click a step to hide its substeps; double-click again to show
substeps.
The previous version since July