Mathematica は何百もの強力で，多くの場合は独自のアルゴリズムを自動的に選択し，微分方程式（常微分，偏微分，微分代数，遅延微分方程式，...）の数値・記号解の両方を提供する．Mathematica は記号で指定された便利な式を使い，豊富な特殊関数と，ユニークな記号補間関数の両方を使って，即座に操作したり可視化したりできる形式の解を表現する．