Mathematica's symbolic character allows it to provide deep integrated support for algebraic numbers. At the core are Root objects, which provide exact implicit ...

RSolve[eqn, a[n], n] solves a recurrence equation for a[n]. RSolve[{eqn_1, eqn_2, ...}, {a_1[n], a_2[n], ...}, n] solves a system of recurrence equations. RSolve[eqn, a[n_1, ...

The primes have been a focal point for investigations of numbers for more than two millennia. Mathematica implements state-of-the-art algorithms for handling both primes and ...

BesselJ[n, z] gives the Bessel function of the first kind J_n (z).

Packing a large number of sophisticated algorithms—many recent and original—into a powerful collection of functions, Mathematica draws on almost every major result in number ...

FindFit[data, expr, pars, vars] finds numerical values of the parameters pars that make expr give a best fit to data as a function of vars. The data can have the form {{x_1, ...

The user interface for Mathematica provides many options for formatting input and output.

Built into Mathematica are state-of-the-art constrained nonlinear fitting capabilities, conveniently accessed with models given directly in symbolic form. Mathematica also ...

LiftingFilterData[...] represents lifting-filter data used to compute forward and inverse lifting wavelet transforms.

LogicalExpand[expr] expands out logical combinations of equations, inequalities, and other functions.