Mathematica includes functionality to factor polynomials symbolically.

Some operators used in basic arithmetic and algebra. Note that the  for ∖[Cross] is distinguished by being drawn slightly smaller than the × for ∖[Times]. Interpretation of ...

ComplexityFunction is an option for Simplify and other functions which gives a function to rank the complexity of different forms of an expression.

KnotData[knot, " property"] gives the specified property for a knot.KnotData[knot] gives an image of the knot.KnotData["class"] gives a list of knots in the specified class.

Mathematica's unified architecture allows every aspect of Mathematica's interface to be controlled and specified programmatically using the symbolic constructs and functions ...

Building on its core symbolic architecture, Mathematica gives immediate access to the latest in industrial-strength Boolean computation. With highly general symbolic ...

Exponent[expr, form] gives the maximum power with which form appears in the expanded form of expr. Exponent[expr, form, h] applies h to the set of exponents with which form ...

MinimalPolynomial[s, x] gives the minimal polynomial in x for which the algebraic number s is a root.

Mathematica routinely handles huge arrays of numeric, symbolic, textual, or any other data, with any dimension or structure. Arrays are fully integrated into Mathematica's ...

Mathematica usually pays no attention to whether variables like x stand for real or complex numbers. Sometimes, however, you may want to make transformations which are ...