CylindricalDecomposition (Built-in Mathematica Symbol)

CylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond ...

AlgebraicNumberNorm (Built-in Mathematica Symbol)

AlgebraicNumberNorm[a] gives the norm of the algebraic number a.

PowerMod (Built-in Mathematica Symbol)

PowerMod[a, b, m] gives a^b mod m. PowerMod[a, -1, m] finds the modular inverse of a modulo m.PowerMod[a, 1/r, m] finds a modular r\[Null]^th root of a.

ButcherPlotRootSize (Numerical Differential Equation Analysis Package Symbol)

ButcherPlotRootSize is an option to ButcherPlot that specifies a scaling factor for the circle highlighting the root.

Brent's Method (Mathematica Tutorial)

When searching for a real simple root of a real valued function, it is possible to take advantage of the special geometry of the problem, where the function crosses the axis ...

Simultaneous Equations (Mathematica Tutorial)

You can give Solve a list of simultaneous equations to solve. Solve can find explicit solutions for a large class of simultaneous polynomial equations. Here is a simple ...

GreaterEqual (Built-in Mathematica Symbol)

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.

Greater (Built-in Mathematica Symbol)

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.

LessEqual (Built-in Mathematica Symbol)

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.

Less (Built-in Mathematica Symbol)

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.