TautologyQ (Built-in Mathematica Symbol)

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 ...

Graph Utilities Package (Graph Utilities Package Tutorial)

The Graph Utilities Package contains a number of functions useful for graph theory applications. Functions in the Graph Utilities Package. This loads the package.

Financial & Economic Data (Mathematica Guide)

Mathematica has immediate built-in access to current and historical financial and economic data.

New in 8.0: Notebooks & Documents (Mathematica Guide)

Mathematica 8 introduces numerous new usability features, including a whole new paradigm for entering input using free-form linguistics that no longer require even ...

\[ErrorIndicator] (Mathematica Character Name)

Unicode: F767. Uninterpretable element. Generated to indicate the position of a syntax error in messages produced by functions like Get and ToExpression. Shown as ^^^ in ...

\[Mho] (Mathematica Character Name)

Unicode: 2127. Alias: Esc mho Esc. Letter-like form. Used to denote the inverse ohm unit of conductance. "Mho" is "ohm" spelled backwards. Occasionally called 'agemo' in pure ...

\[Precedes] (Mathematica Character Name)

Unicode: 227A. Infix ordering operator. x ≺ y is by default interpreted as Precedes[x,y]. Used in mathematics to indicate various notions of partial ordering. Often applied ...

AnimationRunning (Built-in Mathematica Symbol)

AnimationRunning is an option to Animate and related functions that specifies whether the animation they create is running.

DataDistribution (Built-in Mathematica Symbol)

DataDistribution[ddist, ...] represents a probability distribution of type ddist, estimated from a set of data.

GaussianIntegers (Built-in Mathematica Symbol)

GaussianIntegers is an option for FactorInteger, PrimeQ, Factor, and related functions that specifies whether factorization should be done over Gaussian integers.