符号极限 数学机械化 人工智能

Maple和Matlab是公式推导和计算的软件，最早是理论物理工作者为简化在原子核有关的公式推导而产生的。后来被用在极其复杂的公式推导和程序编制中。 作为现代科技的前沿数值计算，三维流体力学以及电磁学方程，核工程的方程在曲线坐标情况下，都是十分复杂的。仅仅流体力学的三个动量方程的项数就超过2532项，能量方程就有1583项，应力张量有954项，牵涉到湍流和边界条件的处理负复杂度还会加倍。 常微分方程也越来越复杂，多发动机停车的系统方程组用A4纸打印出来有800多页，所以这些高科技计算仅就公式的推导以及数值计算所需要的离散就已经几乎超出了人工推导及编译的极限，很需要依靠这类带有人工推理的软件协助解决此类问题，现在通过这些软件可以满足这个需要，他不但推导公式，而且推导出计算数学的离散描述，进一步把算法翻译成 “C”语言、VB、Java，等各类计算机源程序， 从而避免了手编程序的繁杂和疏漏。 除此之外，还可以独立进而解答各类工程难题。并可以通过图形和动画表达过程和结果。 为了方便此功能学习，各类功能甚至配有动画教材，易懂易学。 所以美国宇航院把他作为颠覆现有教育模式的一种探索，贯穿在研究生教学中