Mathematica automatically uses sophisticated algorithms to track the precision of approximate numbers. Particularly for some verification applications, however, it is ...

Cell Tags From In/Out Names gives the selected cell a tag that is the same as its current input or output prompt.

ContinuousTimeModelQ[expr] gives True if expr is a continuous-time StateSpaceModel or TransferFunctionModel object, and False otherwise.

Dt[f, x] gives the total derivative d f/d x. Dt[f] gives the total differential d f. Dt[f, {x, n}] gives the multiple derivative d^n f/d x^n. Dt[f, x_1, x_2, ...] gives d/d ...

EndOfLine represents the end of a line in a string for purposes of matching in StringExpression.

IntervalIntersection[interval_1, interval_2, ...] gives the interval representing all points common to each of the interval_i.

InverseSeries[s] takes the series s, and gives a series for the inverse of the function represented by s. InverseSeries[s, x] uses the variable x in the inverse series.

QuotientRemainder[m, n] gives a list of the quotient and remainder from division of m by n.

$Failed is a special symbol returned by certain functions when they cannot do what they were asked to do.

CumulantGeneratingFunction[dist, t] gives the cumulant generating function for the symbolic distribution dist as a function of the variable t. ...