动态几何软体

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

动态几何软体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 这里使用的证明方式牵涉到机率,所以结果不一定百分之百正确。

外部链接[编辑]