Wolfram 语言处理各种类型的公式，从数百万的多项式到高等数学函数的复杂混合体. 它提供普通的转换函数和化简函数，自动调用上千种规则和算法——包括 Wolfram Research 提供的许多原算法.

Simplify — 化简，可能带有变量假定

FullSimplify — 应用完全的化简过程

FunctionExpand — 更多初等函数的展开

Expand — 展开代数表达式

Factor — 代数表达式的因子

Reduce — 化简等式和不等式

Series — 求出一个级数近似值

提取公式的部分

Coefficient  ▪  Exponent  ▪  Part  ▪  Numerator  ▪  Denominator

公式整理

Collect  ▪  Together  ▪  Apart  ▪  Cancel

等式变换

AddSides  ▪  SubtractSides  ▪  MultiplySides  ▪  DivideSides  ▪  ApplySides

代数转换 »

PowerExpand  ▪  ComplexExpand  ▪  TrigExpand  ▪  RootReduce  ▪  ComplexityFunction  ▪  ...

公式测试

Equal(==)  ▪  Element  ▪  PossibleZeroQ

假定说明和域 »

Refine  ▪  Assuming  ▪  ForAll  ▪  Integers  ▪  Reals  ▪  ...

TraditionalForm — 以传统数学符号来显示一个公式