The flexibility of Mathematica's symbolic architecture is reflected in its rich collection of carefully defined constructs for localization and modularization. The use of ...
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.
Mathematica's symbolic architecture supports a highly generalized notion of assignment, in which you can specify a transformation for any class of expressions defined by a ...
Functions for manipulating files. Different operating systems have different commands for manipulating files. Mathematica provides a simple set of file manipulation ...
Mathematica allows convenient discovery and customization of all aspects of its system setup.
$FrontEndSession is a global symbol that represents the current session of the front end from which the kernel is being run.
Mathematica has a rich syntax carefully designed for consistency and efficient, readable entry of Mathematica's many language, mathematical, and other constructs. In addition ...
Mathematica allows almost every aspect of sessions to be customized, under full programmatic control.