Maple和Matlab是公式推导和计算的软件，最早是理论物理工作者为简化在原子核有关的公式推导而产生的。后来被用在极其复杂的公式推导和程序编制中。作为现代科技的前沿数值计算，三维流体力学以及电磁学方程，核工程的方程在曲线坐标情况下，都是十分复杂的。仅仅流体力学的三个动量方程的项数就超过2532项，能量方程就有1583项，应力张量有954项，牵涉到湍流和边界条件的处理负复杂度还会加倍。常微分方程也越来越复杂，多发动机停车的系统方程组用A4纸打印出来有800多页，所以这些高科技计算仅就公式的推导以及数值计算所需要的离散就已经几乎超出了人工推导及编译的极限，很需要依靠这类带有人工推理的软件协助