跳至內容

動態幾何軟體

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

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

外部連結