项目名称： 计算机代数系统maTHμ
项目作者：李超
项目大类：科技发明制作A类
项目小类： 信息技术
项目简介：
传统的代数运算冗长繁杂, 利用现代计算机代数系统可以将人们从手算过程中解放出来, 并极大提高演算正确性. 经过数十年的发展, 国外巨型商业计算机代数系统已垄断着全球市场, 利润可观, 而国内此领域则远远落后, 对进口软件的依赖威胁着国家信息安全. maTHμ项目通过系统研究, 整理撰写了约30万字、包含约200篇参考文献的计算机代数理论文档. maTHμ项目理清了复杂代数系统的完整架构, 开发了丰富的底层函数库, 词法分析器, 语法分析器与解释器, 实现了基于规则的符号计算框架, 并提供数学排版的图形用户前端及开放的二次开发平台. maTHμ系统功能包括超大型整数快速运算 , 任意精度的浮点数运算 ,整数的素数判定、因子分解、数论函数等,多项式的基本运算、最大公因子、 因式分解等,方程求解,基本函数支持,数学常数,表达式的化简与归约, 符号微分, 符号积分,符号求和,微分方程符号求解等.最终完成了完全自主研发、不依赖任何第三方系统的计算机代数系统maTHμ 填补了国内计算机代数系统领域的空白. maTHμ系统的出现有助于打破国外巨头垄断,在科研、教学与工程等各领域应用前景广阔.
最早得知这个消息是twitter告诉我的，各大媒体报到的几乎都是一个模版——清华大学生发明软件挑战Matlab 勇夺挑战杯特等奖。看过那篇文章的，估计都很反感。文章作者显然没有做足功课。逼得软件作者只好在主页上发表声明。
不得不说的是这个软件的确有十分大的前景，目前的功能虽然还不是很强大，和Mathematica, Maple等自然现在是无法抗衡。但很多符号运算的基本求解功能已经具备并已经开发出了网络测试版，对于高等数学课本中所讲授的简单符号运算，已经足够使用其作为求解演示工具。虽然Mathematica已经捷足先登开发了更为强大的wolframalpha。但是作为国内终于有人在做这方面的软件了，这就本身就是一件十分欣慰的事情。毕竟国产的优秀软件寥寥，谁敢说过几年之后maTHμ会是一个什么样子。况且其意义不仅仅在于此。
说明：
计算机代数系统
科学计算可分为两类:一类是纯数值的计算,例如求函数的值,方程的数值解;另一类计算是符号计算,又称代数运算,这是一种智能化的计算,处理的是符号.符号可以代表整数,有理数,实数和复数,也可以代表多项式,函数,还可以代表数学结构如集合,群的表示等等.我们在数学的教学和研究中用笔和纸进行的数学运算多为符号运算.
一些竞赛
大学生数学建模竞赛、大学生电子设计竞赛、ACM/ICPC国际大学生程序设计竞赛、大学生英语类竞赛、大学生机械设计类竞赛、“挑战杯”大学生课外科技活动竞赛等。
