《几何专家》(Java Geometry Expert)V0.80Java版[压缩包]
中文名: 几何专家
英文名: Java Geometry Expert
别名: Java几何专家
资源格式: 压缩包
版本: V0.80Java版
发行时间: 2010年02月22日
制作发行: 金狐工作室
课件园
地区: 大陆
语言: 简体中文
简介:
软件类型：教育教学-理科工具
软件性质：免费软件
操作系统：windows
应用平台：WinXp, Win2003, WinVista, Win 7, Win2000
问题反馈：info@kejianyuan.com
网站链接：http://kejianyuan.com(http://exjh.com)
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
使用《几何专家》之前，一定要先确定你的电脑中已经安装Java程序，否则无法运行。
在线安装Java：http://java.com/zh_CN/download/windows_ie.jsp?locale=zh_CN
预览图：（点击图片看大图）
软件运行界面
菜单栏的“例子”里含大量实例
本软件通过以下杀毒软件扫描，无插件无病毒：金山、瑞星、卡巴、NOD、毒霸
