Mathematica's symbolic control objects include options that make it easy to optimize both appearance and functionality in arbitrarily sophisticated interfaces.

Mathematica provides direct access to a large volume of mathematical data, specially organized and created for Mathematica. The data is available in a wide range of forms ...

Mathematica treats equations as logical statements. If you type in an equation like x^2+3x==2, Mathematica interprets this as a logical statement which asserts that x^2+3x is ...

GraphData[name] gives a graph with the specified name.GraphData[name, " property"] gives the value for the specified property for a named graph.GraphData["class"] gives a ...

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

Mathematica 6.0 represented a major new level in Mathematica's distinguished twenty-year history of broad cutting-edge algorithm development. Mathematica's unified ...

FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds. FullSimplify[expr, assum] ...

NorlundB[n, a] gives Nørlund polynomials B_n^(a) of degree n in a.NorlundB[n, a, x] gives generalized Bernoulli polynomials B_n^(a)(x).

FindInstance[expr, vars] finds an instance of vars that makes the statement expr be True. FindInstance[expr, vars, dom] finds an instance over the domain dom. Common choices ...

Mathematica normally assumes that variables which appear in equations can stand for arbitrary complex numbers. But when you use Reduce, you can explicitly tell Mathematica ...