Mathematica 6 introduced the revolutionary idea of symbolic dynamic interactivity. Mathematica 7 makes use of this idea throughout the system, and adds a number of additional ...

Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. Resolve[expr, dom] works over the domain dom. Common choices of dom are ...

In a statement like x^4+x^2>0, Mathematica treats the variable x as having a definite, though unspecified, value. Sometimes, however, it is useful to be able to make ...

AbsoluteTime[] gives the total number of seconds since the beginning of January 1, 1900, in your time zone.AbsoluteTime[{y, m, d, h, m, s}] gives the absolute time ...

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

Dynamic[expr] represents an object that displays as the dynamically updated current value of expr. If the displayed form of Dynamic[expr] is interactively changed or edited, ...

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

Mathematica 7 enhances the Mathematica notebook experience in several ways, with new convenient usability features, new levels of automation for the form and structure of ...

Some integer functions. The remainder on dividing 17 by 3. The integer part of 17/3.

Manipulate is an extremely powerful function that immediately creates complete dynamic interfaces, automatically optimized for usability and appearance. For specific ...