MMP/几何计

MMP/Geometer–用于自动几何推理的软件包。我们介绍了一个由我们开发的软件包MMP/Geometer,它可以自动完成一些基本的几何活动,包括几何定理证明、几何定理发现和几何图形生成。作为一个定理证明器,MMP/Geometer实现了吴的欧几里德几何和微分几何、面积法和几何演绎数据库法。利用这些方法,我们不仅可以证明困难的几何定理,而且还可以发现新的定理并生成简短易读的证明。几何图形的自动生成与几何图形的动态生成软件MMP相结合,可以方便地进行几何图形的动态生成和几何图形的交互操作