Wolfram言語では記号アーキテクチャにより，任意の式をWolfram言語の強力な記号操作を使って操作できる記号式として表すことができる．

Reduce — 等式，不等式等の一般代数的簡約

Simplify — 式の両辺を簡約する

Series — 式の両辺を級数展開する

N — 式の両辺を数値的に評価する

AddSides — 等式または不等式の両辺を加える

SubtractSides  ▪  MultiplySides  ▪  DivideSides  ▪  ApplySides

LogicalExpand — 式の論理結合を展開する

Thread — {a,b}=={u,v}を{a==u,b==v}に変換する

CoefficientArrays — 式を行列に変換する

ReplaceAll (/.) — 方程式の解を任意の式に代入する