【原创】几何专家 Java版 0.80中文版【能自动推理，含1600个实例与教程】

【原创】几何专家 Java版 0.80中文版【能自动推理，含1600个实例与教程】



下载 (60.16 KB)
2010-2-21 17:10
这是一款与GeoGebra有许多相似之处的数学教学辅助软件。它也是基于Java创建的，也是完全免费的，原生支持8种语言，包含简体中文。程序界面也与GeoGebra有些相似。主要功能由两部分组成：证明及推理部分和作图部分。《几何专家》最初是在1994-95年由国人周咸青，高小山，张景中共同开发完成的，主要作者是高小山。而这个Java版是完全重新设计开发的，主要作者有三人，其中有两人是国人高小山和郑烨。
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
使用《几何专家》之前，一定要先确定你的电脑中已经安装Java程序，否则无法运行。
在线安装Java：http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN
预览图：（点击图片看大图）
软件运行界面



下载 (93.95 KB)
2010-2-21 17:10
菜单栏的“例子”里含大量实例



下载 (80.62 KB)
2010-2-21 17:10
下载地址：
http://u.115.com/file/f727807414
下载地址二：http://www.uushare.com/user/jhstudio/file/2605770
解压后的安装文件信息：
文件: 几何专家Java版0.80\几何专家Java版0.80.exe
大小: 8222101 字节
文件版本: 0.80.02.10          
修改时间: 2010年2月19日, 9:32:18
MD5: 03A74A951C68BF4EFB3D3BD9C4EB30C2
SHA1: 182BFB91B4B12FA79D50E99B8E6310ABDF004358
CRC32: 04FCECEC