Wolfram Research, Inc.
Minimize[expr, cons, , , ... ] minimizes expr with respect to the real variables subject to the constraints cons.
The constraints can involve both equations and inequalities.
Minimize returns both the minimum value and the position of the minimum, in the same form as ConstrainedMin and FindMinimum.
See also: ConstrainedMin, FindMinimum, CylindricalAlgebraicDecomposition.
Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.