x >= y or x >= y yields True if x is determined to be greater than or equal to y. x_1 >= x_2 >= x_3 yields True if the x_i form a non-increasing sequence.

x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.

x <= y or x <= y yields True if x is determined to be less than or equal to y. x_1 <= x_2 <= x_3 yields True if the x TraditionalForm\`i form a nondecreasing sequence.

x < y yields True if x is determined to be less than y. x_1 < x_2 < x_3 yields True if the x_i form a strictly increasing sequence.

In two decades of intense algorithmic development, Mathematica has established a new level of numerical computation. Particularly notable are its many original highly ...

Minimization and maximization. Minimize and Maximize yield lists giving the value attained at the minimum or maximum, together with rules specifying where the minimum or ...

The functions FindMinimum, FindMaximum, and FindRoot have the HoldAll attribute and so have special semantics for evaluation of their arguments. First, the variables are ...

Discriminant[poly, var] computes the discriminant of the polynomial poly with respect to the variable var.Discriminant[poly, var, Modulus -> p] computes the discriminant ...

HermiteDecomposition[m] gives the Hermite normal form decomposition of an integer matrix m.

WorkingPrecision is an option for various numerical operations that specifies how many digits of precision should be maintained in internal computations.