Original author(s) | ||
Developer(s) 中國
国家基础研究发展规划项目
"数学机械化与自动推理平台"
软件开发课题组 Stable release 3.0 / April 1, 2006; 10 years ago (2006-04-01) Website www.mmrc.iss.ac.cn/mmp/ | ||
Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino), is a group of automated theorem proving software based on an internal computer algebra system. It can be used on proving algebra and geometry theorems. This system is led by Wu Wenjun and based on Wu's method.
Contents
MMP/Geometer
(Former GEX)
MMP/Identity
For combinational mathematics.
References
Mathematics Mechanization and Automated Reasoning Platform Wikipedia(Text) CC BY-SA