Roots (Built-in Mathematica Symbol)

Roots[lhs == rhs, var] yields a disjunction of equations which represent the roots of a polynomial equation.

Element (Built-in Mathematica Symbol)

Element[x, dom] or x \[Element] dom asserts that x is an element of the domain dom. Element[{x_1, x_2, ...}, dom] asserts that all the x_i are elements of dom. Element[patt, ...

Integers (Built-in Mathematica Symbol)

Integers represents the domain of integers, as in x \[Element] Integers.

GroebnerBasis (Built-in Mathematica Symbol)

GroebnerBasis[{poly_1, poly_2, ...}, {x_1, x_2, ...}] gives a list of polynomials that form a Gröbner basis for the set of polynomials poly_i. GroebnerBasis[{poly_1, poly_2, ...

RegionPlot3D (Built-in Mathematica Symbol)

RegionPlot3D[pred, {x, x_min, x_max}, {y, y_min, y_max}, {z, z_min, z_max}] makes a plot showing the three-dimensional region in which pred is True.

RegionPlot (Built-in Mathematica Symbol)

RegionPlot[pred, {x, x_min, x_max}, {y, y_min, y_max}] makes a plot showing the region in which pred is True.

Resolve (Built-in Mathematica Symbol)

Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. Resolve[expr, dom] works over the domain dom. Common choices of dom are ...

CarmichaelLambda (Built-in Mathematica Symbol)

CarmichaelLambda[n] gives the Carmichael function \[Lambda](n), defined as the smallest integer m such that k^m \[Congruent] 1 mod n for all k relatively prime to n.

Minimize (Built-in Mathematica Symbol)

Minimize[f, x] minimizes f with respect to x.Minimize[f, {x, y, ...}] minimizes f with respect to x, y, .... Minimize[{f, cons}, {x, y, ...}] minimizes f subject to the ...

RecurrenceTable (Built-in Mathematica Symbol)

RecurrenceTable[eqns, expr, {n, n_max}] generates a list of values of expr for successive n based on solving the recurrence equations eqns.RecurrenceTable[eqns, expr, nspec] ...