跳转到内容

动态几何软件

本页使用了标题或全文手工转换
维基百科,自由的百科全书

动态几何软件dynamic geometry softwares) 是一种可以让用户制作并且操作一些几何对象的软件。一般来说,这里的几何物件都是在欧氏几何中的物件。我们可以说动态几何软件基本上是一个可以在电脑上做尺规作图的软件,不过还提供了更多的弹性,交互性,还有一些动态的展示。

动态几何软件最著名的大概是[来源请求]几何画板(The Geometer's Sketchpad),因此下表以几何画板为主要比较对象。如果只是基本的尺规作图,事实上不需要做这么仔细的区分,因为以下每一套软件都可以做到。

几何软件比较表

[编辑]
软件名 计算功能 轨迹 动态 程序 出作业 支持Latex 网页输出 多国语言 机器证明 其他
Cabri II Plus页面存档备份,存于互联网档案馆 支持 支持 支持 支持 支持 使用外挂插件 不支持 支持 支持 支持 (on relations) Available on TI Calculator
CaR 支持 支持 支持 支持 支持 支持 支持 支持 支持 不支持
Cinderella 支持 支持 支持 支持 支持 支持 使用PDF 支持 支持 [1] Several geometries, Physics simulations
GCLC页面存档备份,存于互联网档案馆 支持 支持 支持 支持 支持 支持 支持 不支持 不支持 支持 Readable proofs, support for 3D
GeoGebra 支持 支持 支持 不支持 使用JS[来源请求] 使用JS[来源请求] 使用pstricks英语pstricks 支持 支持 不支持 Algebraic manipulations
Geometrix 支持 不支持 支持 支持 不支持 支持 不支持 不支持 不支持 支持 Interactive proof, diagram checking, labels with dynamic placeholders
GeoNext 支持 不支持 不支持 支持 不明 不明 不支持 不明 支持 不支持 Available as a web app
GeoProof 支持 不支持 不支持 不支持 不支持 不支持 支持 不支持 不支持 支持 Automatic formal proofs
GEUP 支持 支持 支持 支持 不明 不支持 不明 不支持 支持 不支持
iGeom 支持 支持 支持 不支持 支持 支持 不支持 支持 支持 [1] Recurrent scripts
Kig 支持 支持 支持 不支持 使用Python 不支持 使用pstricks英语pstricks 不支持 支持 不支持 Labels with dynamic placeholders
几何画板 支持 支持 支持 支持 支持 不支持 不明 部分支持 支持 不支持
Cabri 3D页面存档备份,存于互联网档案馆 支持 不支持 不支持 支持 不支持 不支持 不支持 部分支持 支持 不支持
Archimedes Geo3D页面存档备份,存于互联网档案馆 支持 支持 支持 支持 不支持 不支持 不支持 不支持 支持 不支持 Intersection of Loci
Xcas 支持 不支持 2-d 支持 支持 不支持 支持 不支持 支持 不支持 Algebraic manipulations
超级画板 支持 支持 支持 支持 不明 不明 不明 不明 不支持 支持 张景中领导的开发小组制作
inRm3D页面存档备份,存于互联网档案馆 支持 不支持 支持 支持 部分支持 不明 不明 不明 部分支持 不明 方小庆领导的开发小组制作
软件名 计算功能 轨迹 动态 程序 出作业 支持Latex 网页输出 多国语言 机器证明 其他

注释

[编辑]
  1. ^ 1.0 1.1 这里使用的证明方式牵涉到几率,所以结果不一定百分之百正确。

外部链接

[编辑]