This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Mathematica uses a large number of original algorithms to provide automatic systemwide support for inequalities and inequality constraints. Whereas equations can often be solved in terms of numbers, even representing solution sets for inequalities is only made possible by Mathematica's symbolic capabilities.
Less(< ▪ Greater(> ▪ LessEqual(<= ▪ GreaterEqual(>= ▪ Equal(Equal ▪ Unequal(NotEqual ▪ ...
Boole convert from inequalities to 0, 1 values
Piecewise general piecewise function
FindInstance search for particular solutions to inequalities
Reduce reduce systems of inequalities to explicit nested form
Integrate, NIntegrate integrate over regions defined by inequalities
RegionPlot, RegionPlot3D plot regions defined by inequalities
FindMinimum, NMinimize, Minimize, ... optimization over regions »
RegionFunction option for constraining 2D or 3D plots to a region
PolyhedronData find inequalities corresponding to named polyhedra
LogicalExpand expand out composite inequalities
PiecewiseExpand expand out piecewise functions