MMP/GEMS

MMP/几何-自动几何推理软件包。我们介绍了一个软件包,MMP/GeGuess,我们开发的自动化一些基本的几何活动,包括几何定理证明,几何定理发现,和几何图生成。作为一个定理证明器,MMP/Geor实现了Euclidean和微分几何的吴方法、面积法和几何演绎数据库法。通过这些方法,我们不仅可以证明困难的几何定理,而且发现新的定理,并产生短期和可读的证明。作为一种几何图形编辑器,MMP/Gealm是一种智能动态几何软件工具,它可以将动态几何的思想和自动生成图形的方法相结合,方便地、交互式地输入和操纵几何图。