Mathematics Mechanization and Automated Reasoning Platform

Mathematics Mechanization and Automated Reasoning Platform

Original author(s)	中国科学院数学机械化重点实验室
Developer(s)	中國 国家基础研究发展规划项目 "数学机械化与自动推理平台" 软件开发课题组
Stable release	3.0 / April 1, 2006; 5 years ago (2006-04-01)
Website	MMP - Mathematics Mechanization and Automated Reasoning Platform

Mathematics Mechanization and Automated Reasoning Platform (Chinese: 数学机械化自动推理平台), or Mathematics-Mechanization Platform (MMP, code named elimino), is a group of automated theorem proving softwares 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.

Application modules

MMP/Geometer

(Former GEX)

MMP/DiffEquation

MMP/Identity

For combinational mathematics.

MMP/Blending

MMP/6R-Robots

MMP/Linkage

See also

• Geometry Expert

Links

• Official website 1/2 (Chinese (PRC))

• MMP Manual (Chinese (PRC))

Downloads

• Download directory

• Mathematics-Mechanization Platform - Base Computer Algebra System

• Mathematics-Mechanization Platform - Geometer Application Module
• Mathematics-Mechanization Platform - Blending Surface Application Module
• Mathematics-Mechanization Platform - Robot Application Module
• Mathematics-Mechanization Platform - Linkage Application Module

• Mathematics-Mechanization Platform - Manual (Chinese (PRC))

• Source code of MMP on Wang Dingkang's website

English sources

• MMP/Geometer - A Software Package for Automated Geometric Reasoning ISBN 3540209271