ExistsRealQ (Experimental Package Symbol)

ExistsRealQ[ineqs, {x_1, x_2, ...}] tests whether there exist real values of the x_i for which the inequalities and equations ineqs are satisfied.

ForAllRealQ (Experimental Package Symbol)

ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.

ImpliesRealQ (Experimental Package Symbol)

ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.

MathLink Expression Packet Handling (Mathematica Guide)

$TimeUnit (Built-in Mathematica Symbol)

$TimeUnit gives the minimum time interval in seconds recorded on your computer system.

Statistics`Common` (Mathematica Compatibility Information)

Functionality in this package has been added to the built-in Mathematica kernel or incorporated into newly created packages. CDF, PDF and CharacteristicFunction are built ...

AspectRatio (Built-in Mathematica Symbol)

AspectRatio is an option for Graphics and related functions that specifies the ratio of height to width for a plot.

Collect (Built-in Mathematica Symbol)

Collect[expr, x] collects together terms involving the same powers of objects matching x. Collect[expr, {x_1, x_2, ...}] collects together terms that involve the same powers ...

NSum (Built-in Mathematica Symbol)

NSum[f, {i, i_min, i_max}] gives a numerical approximation to the sum \[Sum]i = i_min i_max f.NSum[f, {i, i_min, i_max, di}] uses a step di in the sum.

NextPrime (Built-in Mathematica Symbol)

NextPrime[n] gives the next prime above n.NextPrime[n, k] gives the k\[Null]^th prime above n.