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

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

Assumptions is an option for functions such as Simplify, Refine, and Integrate that specifies default assumptions to be made about symbolic quantities.

FindIntegerNullVector[{x_1, x_2, ..., x_n}] finds a list of integers a_i such that a_1 x_1 + a_2 x_2 + \[CenterEllipsis] + a_n x_n == 0. FindIntegerNullVector[{x_1, x_2, ..., ...

PolynomialRemainder[p, q, x] gives the remainder from dividing p by q, treated as polynomials in x.

f' represents the derivative of a function f of one argument. Derivative[n_1, n_2, ...][f] is the general form, representing a function obtained from f by differentiating n_1 ...

Assuming[assum, expr] evaluates expr with assum appended to $Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify, and ...

RealExponent[x] gives log_10 (|x|).RealExponent[x, b] gives log_b (|x|).

N[expr] gives the numerical value of expr. N[expr, n] attempts to give a result with n-digit precision.

VectorAngle[u, v] gives the angle between the vectors u and v.