動態幾何軟體

维基媒体列表条目

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

外部連結编辑