几何专家Java版 v0.80 绿色版

《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。..