Java Geometry Expert几何专家认领

《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十 年代