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)

Rules (Mathematica Guide)

Everything that Mathematica does can be thought of as derived from its ability to apply general transformation rules to arbitrary symbolic expressions. The Mathematica ...

Work with Rules (Mathematica How To)

Rules are a key part of Mathematica 's powerful expression transformation language. These "How tos" give step-by-step instructions for using rules in Mathematica .

$TimeUnit (Built-in Mathematica Symbol)

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

Factorial (Built-in Mathematica Symbol)

n! gives the factorial of n.

Numerical Calculus Package (Numerical Calculus Package Guide)

The built-in functions D, Limit, Residue and Series perform computations using symbolic and analytic methods. The functions ND, NLimit, NResidue and NSeries, in this package, ...

GCD (Built-in Mathematica Symbol)

GCD[n_1, n_2, ...] gives the greatest common divisor of the n_i.