Mathematica has a flexible system for specifying arbitrary symbolic assumptions about variables. It uses a wide range of sophisticated algorithms to infer the consequences of ...

A core activity in exploratory experimental mathematics is recognition of numbers: going backward from a number to find out how it can be generated. Mathematica provides ...

Mathematica 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...

Factor[poly] factors a polynomial over the integers. Factor[poly, Modulus -> p] factors a polynomial modulo a prime p. Factor[poly, Extension -> {a_1, a_2, ...}] factors a ...

Variables[poly] gives a list of all independent variables in a polynomial.

ZetaZero[k] represents the k\[Null]^th zero of the Riemann zeta function on the critical line.ZetaZero[k, t] represents the k\[Null]^th zero with imaginary part greater than ...

Mathematica has fundamental support for both explicit complex numbers and symbolic complex variables. All applicable mathematical functions support arbitrary-precision ...

Mathematica provides a full suite of tools needed for the classical analysis and design of control systems, leveraging Mathematica's hybrid symbolic-numeric arithmetic ...

Mathematica can efficiently handle both univariate and multivariate rational functions, with built-in functions immediately implementing standard algebraic transformations.

CoefficientRules[poly, {x_1, x_2, ...}] gives the list {{e_11, e_12, ...} -> c_1, {e_21, ...} -> c_2, ...} of exponent vectors and coefficients for the monomials in poly with ...