Mathematica には特定の代数変換を行う関数が含まれている．その中にはアルゴリズム的に分かりやすいものもあるが，非常に高度なアルゴリズムを含んでいるものもある．これらの関数の多くはWolfram Researchで開発・改良されたものである．
Simplify — 式の簡約を試みる変換を適用する
FullSimplify — 簡約変換一式すべてを適用する
FunctionExpand — より初等の関数について展開を試みる
PowerExpand — 正の実数変数等を仮定してベキを展開する
ComplexExpand — 複素関数を実部と虚部等に展開する
TrigToExp，
ExpToTrig — 指数関数と三角関数の間で変換する
RootReduce — すべての根を1つの根にまとめる
ToRadicals — 根の明示的な根号への変換を試みる
PiecewiseExpand — 区分関数を明示的な構成要素に展開する
ComplexityFunction — 式の複雑さをどのようにランク付けするか
