动态几何软件

动态几何软件（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.0 ^1.1 这里使用的证明方式牵涉到几率，所以结果不一定百分之百正确。

外部链接

几何画板主页
Kig主页（页面存档备份，存于互联网档案馆）
超级画板主页
Cinderella主页（页面存档备份，存于互联网档案馆）
KSEG主页

[Probabilistic-1] 1.0 ^1.1 这里使用的证明方式牵涉到几率，所以结果不一定百分之百正确。

[1]