Wolfram 语言包括各种具体的执行代数转换的函数. 一些是直接的算法；其它包括许多由 Wolfram Research 提炼出的高级精密的算法.

普通运算

Simplify — 应用转换来化简一个表达式

FullSimplify — 使用更广范围的化简转换

FunctionExpand — 尽可能的根据基本函数展开

PowerExpand — 展开幂，假定正实数变量等

ComplexExpand — 将复数函数展开为实部和虚部等

多项式因式分解»

Expand — 将乘积和幂展开

Factor — 因式分解为乘积和幂

Collect — 相似项的集合

有理函数»

Together — 通分

Apart — 化为部分分式

ExpandNumerator  ▪  ExpandAll  ▪  Cancel  ▪  ...

分段函数

PiecewiseExpand — 对分段函数进行扩展，以明显的形式表示各段分量

三角函数»

TrigToExp, ExpToTrig — 转换指数函数和三角函数

TrigExpand  ▪  TrigFactor  ▪  TrigReduce

代数数和函数 »

RootReduce — 化简为单个根对象

ToRadicals — 尽可能转换根对象为显示根式

MeijerG 函数

MeijerGReduce — 尝试将特殊函数化简成 MeijerG 函数

FoxHReduce — 尝试将特殊函数简化为 FoxH 函数

完整函数和序列

DifferentialRootReduce — 将函数组合化简成完整函数

DifferenceRootReduce — 将序列组合化简成完整序列

逻辑和布尔运算»

LogicalExpand — 展开布尔表达式

BooleanConvert — 将布尔表达式转换成标准形式（DNF、CNF 等）

BooleanMinimize — 求最简的两层布尔表达式

FindEquationalProof — 产生基于任何等式原理的证明

简化的控制

Assumptions — 列出假定

ComplexityFunction — 如何排列表达式的复杂性

TimeConstraint  ▪  ExcludedForms  ▪  TransformationFunctions