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

$GeoLocation is a settable global variable that specifies the default geodetic location to use.

Nested lists are lists within a list; they are the principal structure for data in Mathematica and allow for high-dimension arrays and ragged datasets as well as common uses ...

Mathematica's unique structure allows a generalized notion of input, in which not only ordinary text, but also typeset structures, diagrams, graphics, control objects and ...

Cancel[expr] cancels out common factors in the numerator and denominator of expr.

Matrix representations of graphs go back a long time and are still in some areas the only way to represent graphs. Adjacency matrices represent adjacent vertices and ...

In two decades of intense algorithmic development, Mathematica has established a new level of numerical computation. Particularly notable are its many original highly ...

Mathematica symbolic expressions can represent an immense range of types of objects. Mathematica provides a rich collection of functions to test expressions. Functions that ...

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

Mathematica provides built-in functions for generating standard structure matrices and convolution kernels in any number of dimensions, in a form that can be used directly in ...