动态几何软件
动态几何软件(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 | 支持 | 支持 | 不支持 | 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 | 不支持 | 支持 | 不支持 | Labels with dynamic placeholders |
几何画板 | 支持 | 支持 | 支持 | 支持 | 支持 | 不支持 | 不明 | 部分支持 | 支持 | 不支持 | |
Cabri 3D (页面存档备份,存于互联网档案馆) | 支持 | 不支持 | 不支持 | 支持 | 不支持 | 不支持 | 不支持 | 部分支持 | 支持 | 不支持 | |
Archimedes Geo3D (页面存档备份,存于互联网档案馆) | 支持 | 支持 | 支持 | 支持 | 不支持 | 不支持 | 不支持 | 不支持 | 支持 | 不支持 | Intersection of Loci |
Xcas | 支持 | 不支持 | 2-d | 支持 | 支持 | 不支持 | 支持 | 不支持 | 支持 | 不支持 | Algebraic manipulations |
超级画板 | 支持 | 支持 | 支持 | 支持 | 不明 | 不明 | 不明 | 不明 | 不支持 | 支持 | 张景中领导的开发小组制作 |
inRm3D (页面存档备份,存于互联网档案馆) | 支持 | 不支持 | 支持 | 支持 | 部分支持 | 不明 | 不明 | 不明 | 部分支持 | 不明 | 方小庆领导的开发小组制作 |
软件名 | 计算功能 | 宏 | 轨迹 | 动态 | 程序 | 出作业 | 支持Latex | 网页输出 | 多国语言 | 机器证明 | 其他 |