几何定理机器证明论文

iGeo：智能几何软件的定理证明器
论文摘要动态几何软件(DynamicGeometrySoftware)与普通的作图软件有着本质上的不同。它绘制的几何图形不但精确,而且还具有动态性,这使其非常适合于几何教学的实...