一线天
54743
23
《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
几何画板5.0的出现已经有3个月了，在这期间，我们已经领略了一个成熟的开发团队融入的无穷智慧造就的这个有着不少突破性改进的新版本，也见证了我们画板论坛的众板友齐心协力做汉化的全过程。目前的汉化版已经基本完善了，控件和打包机经过黑天老师的不断努力也很强大了，所以，在接下来的日子里，更多的应该是探讨新版的应用了。
几何画板不愧为最富盛名的几何作图软件，它的帮助文档也做的相当全面和完整，官方网站上还提供视频教程，可惜这些都是英文的。今天用了些时间，把官方的全套视频教程下载回来并打包与板友分享，内容主要是详细介绍工具栏各工具的使用方法和菜单栏各命令的用法与用途，比较适合初学者或了解新版本的新功能，内含PDF说明文档。
2010.02.07更新：新增两份官方中文说明手册和Java离线安装包。
完全免费的动态数学软件，支持数十种语言，支持多平台，获得多项国际性大奖。
GeoGebra是一款结合“几何”、“代数”与“微积分”的动态数学软件，它是由美国佛罗里达州亚特兰大学的数学教授Markus Hohenwarter所设计的。一方面来说，GeoGebra是一个动态的几何软件。您可以在上面画点、向量、线段、直线、多边形、圆锥曲线，甚至是函数，事后你还可以改变它们的属性。另一方面来说，您也可以直接输入方程和点坐标。所以，GeoGebra也有处理变数的能力（这些变数可以是一个数字、角度、向量或点座标），它也可以对函数作微分与积分，找出方程的根或计算函数的极大极小值。所以GeoGebra同时具有处理代数与几何的功能，因此GeoGebra视窗左边有一个“代数区”，右边有一个“几何区”（也称为“绘图区”）。
