文件名称:几何专家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)