Mathematica 在微分算子上的解决方法提供了既高级又方便的数学结构表达式，并为强大的算法计算提供了即时的框架. 在 Wolfram Research 的突破性研究下，Mathematica 可直接符号操作代表微分方程解的对象.