Mathematica は多くの独自のアルゴリズムを使って，不等式と不等式による制約のシステム規模での自動サポートを提供する．等式は多くの場合数について解くことができるのに対し，不等式は
Mathematica の記号機能によってのみ解を表すことができる．
FindInstance — 不等式の特定の解を求める
Reduce — 不等式系を明示的にネストした形式に簡約する
Integrate，
NIntegrate — 不等式で定義された領域で積分する
RegionPlot，
RegionPlot3D — 不等式で定義された領域をプロットする
RegionFunction — 2Dまたは3Dプロットの領域を制限するオプション
PolyhedronData — 名前付き多面体に対応する不等式を求める
LogicalExpand — 複合不等式を展開する
関連リンク
