简 介

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

目前MMP主要功能如下:

• 支撑系统, 包括内存管理、图形界面、编程环境.


• 符号计算系统, 包括任意长度的数系统, 多项式运算,符号线性代数.


• 核心模块, 包括多项式、常微、偏微分方程系统的吴特征列方法与投影定理.

应用模块, 包括

• MMP/Geometer: 几何定理自动证明与发现, 几何自动作图
• MMP/DiffEquation: 微分方程求解
• MMP/Identity: 组合恒等式自动证明
• MMP/Blending: 过渡曲面自动生成
• MMP/6R-Robots: 6R机器人模拟

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

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