返回列表 回复 发帖

几何专家 Java版 0.80中文版【能自动推理,含1600个实例】

1.JPG
2010-4-13 04:58


这是一款与GeoGebra有许多相似之处的数学教学辅助软件。它也是基于Java创建的,也是完全免费的,原生支持8种语言,包含简体中文。程序界面也与GeoGebra有些相似。主要功能由两部分组成:证明及推理部分和作图部分。《几何专家》最初是在1994-95年由国人周咸青,高小山,张景中共同开发完成的,主要作者是高小山。而这个Java版是完全重新设计开发的,主要作者有三人,其中有两人是国人高小山和郑烨。

《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形,可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。

使用《几何专家》之前,一定要先确定你的电脑中已经安装Java程序,否则无法运行。
在线安装Java:http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN

友情提示:本站在近阶段收集推荐了不少优秀的数学教学辅助软件,但是请勿乱了手脚。所谓“触类旁通”,如果能精通其中一款软件,那么其它与其类似的软件将能轻松应用。它们有许多相似之处,也有其自身的独特之处,所以建议选择一款自己最喜欢的为主,其它为辅,配合使用。

预览图:点击图片看大图
软件运行界面
2.JPG
2010-4-13 04:58



菜单栏的“例子”里含大量实例
3.JPG
2010-4-13 04:58




下载地址:http://www.kejianyuan.net/Soft/ShowSoft.asp?SoftID=185

点击查看官方中文帮助文档安装后可从开始菜单打开
金狐工作室:http://www.jinhu.me
金狐先生真有好东东啊!谢谢了,收藏了!!
这个软件还有一个显著特色:可以在线使用(英文版),不过前提是你的系统里已经安装Java。很强大。

http://www.cs.wichita.edu/~ye/gex.html
金狐工作室:http://www.jinhu.me
金狐先生真有好东东啊!谢谢了,收藏了!!
sdytstl 发表于 2010-2-19 12:59
这软件是在春节前偶然间“拾”到的,呵呵。很乐意与大家分享,希望喜欢。
金狐工作室:http://www.jinhu.me
好佩服lz,制作了这么多好用的软件。太谢谢了。
thanks for your gifts!
在哪里跌倒,就在哪里躺会!
这款软件应该说是Automatic Theorem Proving Research Group的产物,由Shang-Ching Chou主导研制开发,Shang-Ching Chou是Department of Computer Science, Wichita State University教授,
Wichita State University位于堪萨斯州
在哪里跌倒,就在哪里躺会!
感谢一线天老师的推荐
可惜这个java的软件被包装成了exe. 否则可以用于 linux, Mac 的机器上。
大家看看,面积方法和传统方法证明不可用,是否是因为侵犯了张院士的版权?面积方法功能仅次于吴法,但可读性较好,不能使用,太可惜了。
返回列表