数学机械化自动推理平台

简 介

 

MMP以符号计算为支撑,以数学机械化算法为核心,以我国在数学机械化方面的最新研究成果为依托,希望能够为科学研究、工程应用、教学提供一个应用数学机械化的理论与方法的强有力的软件工作平台和开发平台.

目前MMP主要功能如下:

 

应用模块, 包括

MMP的是以国家``973"项目``数学机械化方法及其在信息技术中的应用"软件开发课题组为主开发,部分应用模块有项目其他成员承担.在此对所有参加人表示诚挚感谢.国家科技部以及项目的挂靠单位中国科学院与国家基金委对于数学机械化研究与软件开发给予了长期大力支持与鼓励.数学机械化的发展与这些支持是密不可分的.

本用户手册收集了MMP的所有外部用户函数的使用方法,是利用MMP进行基本计算与二次开发的必备工具.