TautologyQ[bf] gives True if all combinations of values of variables make the Boolean function bf yield True.TautologyQ[expr, {a_1, a_2, ...}] gives True if all combinations ...

GenericCylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds the full-dimensional part of the decomposition of the region represented by the inequalities ineqs into ...

RootIntervals[{poly_1, poly_2, ...}] gives a list of isolating intervals for the real roots of any of the poly_i, together with a list of which polynomials actually have each ...

Disk[{x, y}, r] is a two-dimensional graphics primitive that represents a filled disk of radius r centered at the point x, y. Disk[{x, y}] gives a disk of radius 1. Disk[{x, ...

Getting parts of lists. This gives a list of parts 1 and 3. Here is a nested list.

GompertzMakehamDistribution[\[Lambda], \[Xi]] represents a Gompertz distribution with scale parameter \[Lambda] and frailty parameter ...

Combining a new level of programmatic support for symbolic color with carefully chosen aesthetic color parametrizations, Mathematica allows a uniquely flexible and compelling ...

Mathematica's dynamic interactivity system makes it easy to view and annotate any object in a dynamic way. Building on Mathematica's symbolic programming architecture, ...

LinkRead[link] reads one expression from the specified MathLink connection. LinkRead[link, h] wraps h around the expression read before evaluating it.

TraceOff is an option for Trace and related functions which specifies forms inside which tracing should be switched off.