Automatically selecting between hundreds of powerful and in many cases original algorithms, Mathematica provides both numerical and symbolic solving of differential equations ...

At the core of Mathematica is the foundational idea that everything —data, programs, formulas, graphics, documents—can be represented as symbolic expressions. And it is this ...

The execution of a Mathematica program involves the evaluation of a sequence of Mathematica expressions. In simple programs, the expressions to be evaluated may be separated ...

DeclarePackage["context`", {"name_1", "name_2", ...}] declares that Needs["context`"] should automatically be executed if a symbol with any of the specified names is ever ...

NonConstants is an option for D which gives a list of objects to be taken to depend implicitly on the differentiation variables.

StackBegin[expr] evaluates expr, starting a fresh evaluation stack.

StackComplete[expr] evaluates expr with intermediate expressions in evaluation chains included on the stack.

StackInhibit[expr] evaluates expr without modifying the evaluation stack.

Building on its broad strengths in mathematics in general, and in special functions in particular, Mathematica provides a unique level of support for multiplicative number ...

Any Mathematica symbol can have both a variety of types of values, and a variety of independently settable attributes that define overall aspects of its behavior.