SatisfiableQ (Built-in Mathematica Symbol)

SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...

$ModuleNumber (Built-in Mathematica Symbol)

$ModuleNumber gives the current serial number to be used for local variables that are created.

$CUDADevice (CUDALink Symbol)

$CUDADevice is the CUDA device used in computation.

$MinPrecision (Built-in Mathematica Symbol)

$MinPrecision gives the minimum number of digits of precision to be allowed in arbitrary-precision numbers.

Presentations with Mathematica (Mathematica Guide)

Mathematica's unified computation and dynamic document architecture makes possible a new level of interactive presentation—notably allowing finished "slides" on which full ...

AbortQ (Mathematica LibraryLink C Function)

mint AbortQ () returns TRUE if Mathematica is in the process of an abort.

List Manipulation (Mathematica Guide)

Lists are central constructs in Mathematica, used to represent collections, arrays, sets, and sequences of all kinds. Lists can have any structure and size, and can routinely ...

Graph Programming (Mathematica Guide)

By providing a completely extensible set of vertex and edge properties, you can make graphs represent much more than the structural information embodied in their topology. ...

Image Filtering & Neighborhood ... (Mathematica Guide)

Mathematica not only includes highly optimized implementations of standard image processing filters, but also uses its general symbolic architecture to allow arbitrarily ...

ArcGRID (Mathematica Import/Export Format)

ArcGRID topographic data format. Standard distribution format of USGS National Map data. Stores terrain data. Bundle format, consisting of binary .adf and other files. ...