試用了一下軟件MMP（數學機械化自動推理平臺）

以前聽說過吳文俊院士的幾何定理機械化證明的理論，感覺這是中國數學了不起的成績，一直沒花時間去學習，週末去圖書館借書，剛好看到一本介紹這方面的書，這本書主要是介紹MMP（數學機械化自動推理平臺）的應用，所以就借過來看看。 MMP軟件下載地址如下： http://www.mmrc.iss.ac.cn/mmp/ 這個軟件表面上看感覺還不錯，至於功能還沒完全學會，當然有些細節做得不夠好，不過軟件的價值不在

>>阅读原文<<