我们现在全国都在用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 的分支。溯源知征程,国内还有那些朋友同样对此感兴趣?请给我留言,以便我们多加交流,及时请教。
转载本文请联系原作者获取授权,同时请注明本文来自杨新铁科学网博客。
链接地址:https://wap.sciencenet.cn/blog-1354893-1269410.html?mobile=1
收藏