跳转到内容

動態幾何軟體

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

動態幾何軟體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 這裡使用的證明方式牽涉到機率,所以結果不一定百分之百正確。

外部連結

[编辑]