文件名称：几何专家Java版
文件大小：7.91MB
文件格式：RAR
更新时间：2016-01-26 18:47:28
欧氏几何 证明 推导
几何证明类的软件有几家开发的，但大多证明的表达和我们传统的证明书写表达不一致，这样从逻辑上很难得到让人信服的证明，这点让很多致力于几何证明类软件开发的教师很沮丧的。我找到的这款软件，可以做到与我们传统的证明书写表达一致，相当罕见的优秀软件。
【文件预览】：
几何专家Java版0.80
----使用说明.txt(2KB)
----金狐电脑工作室.url(170B)
----MD5校验工具.exe(29KB)
----MD5.JPG(37KB)
----课件园.url(121B)
----几何专家Java版0.80.exe(7.84MB)