我们现在全国都在用Mathmatica，Matlab，Maple三大数学软件，想问一下有没有谁在做国内的版本？

      中科院数学所在吴文俊院士领导下开展了《几何定理的机械化证明》《数学机械化》研究，在这个基础上产生了一个MMS，语言借鉴maple，但是很不好用，想问一下MMS有没有新版本？能够做不定积分，或者有比较多一些代数口令，如 int，diff，subs，  collect, combine, factor, frontend, normal, sort, Expand 这些命令其实也不难，或者有个完整的指令集帮助文件，让我们知道和maple的差别？以便能够真正用起来。

      过去吴老还在世的时候，我们就多次去信联系询问类似问题，希望能够联合把这个低版本做下去，以便能够进入教材。

      我为了一些装备设计要处理复杂的数理方程的解法和边界条件处理，经常遇到复杂公式推导，为了空气动力学这门课也连带讲了十几年的Maple和Matlab，并和NASA一样，把习题用数学推理系统解答，一直期盼把这个接在中国自己的数学软件上，很想把国产的数学推理软件推广给学生，但是搞MMS的居然都联系不上，发表的版本也是聋子耳朵，用不成，因此想询问类似这个软件，国内还有那些朋友在做？过去郝柏林院士也关心过自动推理，还研究过reduce的源代码。可以他在这方面的继承人是谁？找不到了。

   Maple和Mathemetica的负责人我们都从美国和加拿大请到西安来交流过，甚至和maple还订立过合作的意向。但是日本人看得远，把Maple买成日本公司了，但是钓鱼岛闹事那一年，所有日本到中国来交流的日本专家说不来就都不来了。

   为什么现在突然想起搞这个，主要是特朗普给我们提的醒，他连三大软件里面最不好用的matlab都要跟中国封锁，其实

美国要封锁我们的Matlab至今还都是用别人的核做数学推导，过去核心借用maple，以后借用scilab，现在改用mupad，不补装上Mupad，Matlab几乎做不成复杂的推导。远不如Maple，和mathmatica在这方面做的好，过去忽略的这个短板主要是能买到手，就连这个美国都声称不许中国随便使用了，这必然引起国内科学界的警觉，越是封锁的东西越是要自力更生。

    万事起头难，前述三大软件也是从开源软件DOE-Macsyma,（以后叫eXmacs,Maxima,wxMaxima, imaxima,Wintexmacs,xmaxima）发展起来的，DOE-Macsyma 是由麻省理工学院(MIT)在美国能源部的支持下于60年代末创造的，它是用 LISP 实现的。Macsyma在当时是非常创新的软件。现在流行的商业计算机代数系统软件Maple及Mathematica，都是受到Macsyma的启发而设计出来的。MIT 1982年的时候决定把 Macsyma 变成一个关闭源码的程序，Macsyma 走上商业化的道路，于是产生了很多 Macsyma 的分支。溯源知征程，国内还有那些朋友同样对此感兴趣？请给我留言，以便我们多加交流，及时请教。