前推法论文

  • iGeo:智能几何软件的定理证明器

    iGeo:智能几何软件的定理证明器

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