跳至內容

動態幾何軟件

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

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

外部連結