New in 7.0: Alphabetical Listing (Mathematica Guide)

The release of Mathematica 6 in May 2007 represented a revolution in the development of Mathematica. Building on this revolution, Mathematica 7 not only greatly broadens and ...

SatisfiabilityInstances (Built-in Mathematica Symbol)

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...

BooleanCountingFunction (Built-in Mathematica Symbol)

BooleanCountingFunction[k_max, n] represents a Boolean function of n variables that gives True if at most k_max variables are True.BooleanCountingFunction[{k}, n] represents ...

TuringMachine (Built-in Mathematica Symbol)

TuringMachine[rule, init, t] generates a list representing the evolution of the Turing machine with the specified rule from initial condition init for t steps. ...

Summary of New Features in 7.0 (Mathematica Guide)

The introduction of Mathematica 6 in 2007 represented a revolutionary redefinition of Mathematica. Arriving only 18 months after Mathematica 6, Mathematica 7 represents ...

CellularAutomaton (Built-in Mathematica Symbol)

CellularAutomaton[rule, init, t] generates a list representing the evolution of the cellular automaton with the specified rule from initial condition init for t steps. ...

Alphabetical Listing (Mathematica Guide)

Mathematica has over 3000 built-in functions and other objects, all based on a single unified framework, and all carefully designed to work together, both in simple ...