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 — 2Dまたは3Dプロットの領域を制限するオプション

PolyhedronData — 名前付き多面体に対応する不等式を求める

LogicalExpand — 複合不等式を展開する

PiecewiseExpand — 区分関数を展開する