Wolfram 语言使用大量原算法支持全系统范围的不等式和不等式约束. 而等式通常可以用数字解，甚至是 Wolfram 语言符号表示的不等式解集.

Less (<)  ▪  Greater (>)  ▪  LessEqual (<=)  ▪  GreaterEqual (>=)  ▪  Equal (==)  ▪  Unequal (!=)  ▪  Between  ▪  ...

Boole — 不等式转换成 0、1 值

Piecewise — 普通分段函数

FindInstance — 搜索不等式的特解

Reduce — 化简不等式组为嵌套的形式

FunctionDomain — 求描述函数定义域的不等式

FunctionRange — 求描述函数值域的不等式

Integrate, NIntegrate — 在不等式定义的区域上积分

RegionPlot, RegionPlot3D — 绘制不等式定义的区域

FindMinimum, NMinimize, Minimize, ... — 区域最优化 »

RegionFunction — 限制二维或三维绘图区域的选项

PolyhedronData — 找到相应多面体的不等式

LogicalExpand — 复合不等式的展开

PiecewiseExpand — 分段函数的展开