打开主菜单

動態幾何軟體

维基媒体列表条目

動態幾何軟體dynamic geometry softwares) 是一種可以讓使用者製作並且操作一些幾何对象的軟體。一般來說,這裡的幾何物件都是在欧氏几何中的物件。我們可以說動態幾何軟體基本上是一個可以在電腦上做尺规作图的軟體,不過還提供了更多的彈性,互動性,還有一些動態的展示。

動態幾何軟體最著名的大概是[來源請求]几何画板(The Geometer's Sketchpad),因此下表以几何画板為主要比較對象。如果只是基本的尺规作图,事實上不需要做這麼仔細的區分,因為以下每一套軟體都可以做到。

幾何軟體比較表编辑

 支援 |  不支援 |  支援但功能有限 |  不明 |  使用JavaScript

軟體名 計算功能 巨集 軌跡 動態 程式 出作業 支援Latex 網頁輸出 多國語言 機器證明 其他
Cabri II Plus           [1]         (on relations) Available on TI Calculator
CaR                    
Cinderella               [2]     [3] Several geometries, Physics simulations
GCLC                     Readable proofs, support for 3D
GeoGebra          [來源請求]  [來源請求] [4]       Algebraic manipulations
Geometrix                     Interactive proof, diagram checking, labels with dynamic placeholders
GeoNext                     Available as a web app
GeoProof                     Automatic formal proofs
GEUP                    
iGeom                   [3] Recurrent scripts
Kig         [5]   [4]       Labels with dynamic placeholders
几何画板                    
Cabri 3D                    
Archimedes Geo3D                     Intersection of Loci
Xcas     2-d               Algebraic manipulations
超级画板                     张景中领导的开发小组制作
inRm3D                     方小庆领导的开发小组制作
軟體名 計算功能 巨集 軌跡 動態 程式 出作業 支援Latex 網頁輸出 多國語言 機器證明 其他

注释编辑

  1. ^ 使用外掛插件
  2. ^ 使用PDF
  3. ^ 3.0 3.1 這裡使用的證明方式牽涉到機率,所以結果不一定百分之百正確。
  4. ^ 4.0 4.1 使用pstricks
  5. ^ 使用Python

外部連結编辑