几何专家Java版下载,《几何专家》提供了几何动态图形变换与板块操作,可以自动证明定理,并产生简单、漂亮的证明过程,还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来,中国学者在这方面的研究可谓异彩纷呈,成果累累,屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形,可用于平面几何、解析几何、函数、与物理的学习与教学。
作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以帮助使用者解决难题、还可以教会使用者解题的方法。
几何学(几何)是数学的一个基础分支,主要研究形状、大小、图形的相对位置等空间区域关系以及空间形式的度量。几何学可见的特性让它比代数、数论等数学领域更容易让人接触,不过一些几何语言已经和原来传统的、欧几里得几何下的定义越差越远。几何学开始的最早记录可以追踪到公元前2世纪的古代埃及和美索不达米亚。