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)

New in 6.0: Dynamic Interactivity (Mathematica Guide)

Mathematica 6.0 defined a major new paradigm for computing, centered around the concept of the symbolic dynamic interface. Built on Mathematica's unique symbolic ...

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.

BinormalDistribution (Built-in Mathematica Symbol)

BinormalDistribution[{\[Mu]_1, \[Mu]_2}, {\[Sigma]_1, \[Sigma]_\ 2}, \[Rho]] represents a bivariate normal distribution with mean {\[Mu]_1, \[Mu]_2} and covariance matrix ...

Divisible (Built-in Mathematica Symbol)

Divisible[n, m] yields True if n is divisible by m, and yields False if it is not.