1 20 50 150 500
欢迎来到AI猫软件站,找素材,搜软件,就上AI猫软件站!
当前位置 >首页 >软件下载 >电脑软件 >应用软件 >其他分类

几何专家Java版 V0.80官方安装版

软件信息
  • 分类:其他分类
  • 大小:7.8M
  • 语言: 中文
  • 环境: WinXP
  • 更新:2024-11-21
  • 评级:
  • 系统: Windows Linux Mac Ubuntu
  • 软件类别: 国产软件 / 免费软件 / 行业软件
  • 插件情况:

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

下载地址

热门软件

Top