Wolfram 语言的符号体系将任意方程表示成符号表达式，这样可以用 Wolfram 语言的符号运算的命令集合对其操控使用.

Reduce — 方程、不等式等的普通代数化简

Simplify — 方程每边的化简

Series — 方程每边的级数展开

N — 数值计算方程的每边

AddSides — 添加至等式或不等式的两边

SubtractSides  ▪  MultiplySides  ▪  DivideSides  ▪  ApplySides

LogicalExpand — 逻辑组合方程的展开

Thread — 将 {a,b}=={u,v} 转换为 {a==u,b==v}

CoefficientArrays — 转换方程为矩阵

ReplaceAll (/.) — 方程解替代任意表达式