本文主要讨论MMP(Mathematics Mechanization Platform)的系统结构及其高层编程语言实现与应用。MMP是由国家973项目资助的大型数学机械化平台软件，其核心功能是符号计算及其吴文俊的数学机械化理论。本文的工作主要集中在以下三个方面：　　 ·MMP的高层界面编程语言的设计与实现。MMP的编程语言是一个解释型语言，主要包括赋值语句、选择语句、循环语句、break、continue语句以及自定义函数的实现。MMP提供了丰富的底层接口，在用户层提供的高级语言使得用户可以进行更好的二次开发。　　 ·MMP平台下微分方程求解软件包的实现。使用MMP编程语言，实现了微分方程多项式解，有理解，taylor级数解以及几种典型行波方程行波解的求解算法。这些程序构成了MMP的微分方程求解模块MMP/DiffEquation。　　 ·MMP系统函数及其界面的修改与完善，特别的，实现了MMP表达式的基本运算功能。使得用户界面更友好，功能更丰富。　　 本文的主要工作是在Windows平台Visual C++6.0环境下实现，词法分析和语法分析使用的工具分别是flex-2.5.4，GNu bison-1.35。该语言具有弱类型，结构简单，易学等特点。