几何专家Java版 V0.80 安装版
nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;几何专家Java版《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来
- 7款杀毒软件检测全通过
- 软件大小：7.83 MB
- 软件语言：简体中文
- 下载次数：1
- 软件授权：免费软件
- 更新时间：2010-2-22
- 软件类别：理科工具
- 开 发 商：暂无
- 应用平台：Vista, Win2003, WinXP, Win2000, NT
9
几何专家Java版 《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
当前第1张截图 ( 
点击上图查看所有截图)
点击上图查看所有截图)
