学步园

 

        以前听说过吴文俊院士的几何定理机械化证明的理论，感觉这是中国数学了不起的成绩，一直没花时间去学习，周末去图书馆借书，刚好看到一本介绍这方面的书，这本书主要是介绍MMP（数学机械化自动推理平台）的应用，所以就借过来看看。

 

MMP软件下载地址如下：
http://www.mmrc.iss.ac.cn/mmp/

 

        这个软件表面上看感觉还不错，至于功能还没完全学会，当然有些细节做得不够好，不过软件的价值不在这方面，刚刚试用了一下，所以也不好发表言论，以下是一些测试的例子。

 

 

 

 

上面的例子只是一些基本函数的使用方法，至于核心“几何定理机械化证明”正在学习中。。。