有关Mathematica 内部实现的一般讨论在1.12节给出.这里给出的是特殊特征的简短注释.这些注释适用于版本4.算法以及实现的其它方面随将来版本中的修改而改变. 需要强调的是,这些注释给出的只是所用到的基本方法和算法的大致描述.实际的实现通常包含了许多实质性原理和细节.举例来说, 该注释简单的说DSolve使用Kovacic算法求解二阶线性微分方程. 但是用于实现这一功能的内部代码却有60多页长,包含了大量其它算法和大量精妙的思想.
