自从世界著名的科学家吴文俊1977年的开创性工作以来,世界各地的研究人员已经在几何定理证明领域里面取得了卓越的成果。基于吴氏算法的计算机程序已经自动证明了成百上千个难的几何定理,例如费而巴赫定理,莫莱三分线定理,等等,而这些定理通常是需要人的高度智慧来解决的。  几何专家软件最初是在1994-95是由周咸青,高小山,张景中共同开发完成的。主要作者是高小山。这个软件由两部分组成:证明及推理部分和作图部分。这个Java版的几何专家软件是完全重新设计开发的。它的重点在于让高中师生很容易用规尺作出复杂的几何图形,补充说明:1、软件下载地址:http://www.cs.wichita.edu/%7Eye/jgex0_70.zip2、必须事先安装好java虚