PolynomialGCD[poly_1, poly_2, ...] gives the greatest common divisor of the polynomials poly_i. PolynomialGCD[poly_1, poly_2, ..., Modulus -> p] evaluates the GCD modulo the ...

While DSolve usually returns the correct solution to a differential equation it is given, it is common practice to verify the solution returned by any differential equation ...

Mathematica ' s differential equation solving functions can be applied to many different classes of differential equations, automatically selecting the appropriate algorithms ...

MaxExtraConditions is an option to Solve and related functions that specifies how many extra equational conditions on continuous parameters to allow in solutions that are ...

RecurrenceTable[eqns, expr, {n, n_max}] generates a list of values of expr for successive n based on solving the recurrence equations eqns.RecurrenceTable[eqns, expr, nspec] ...

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

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

Mathematica 's differential equation solving functions can be applied to many classes of differential equations, automatically selecting the appropriate algorithms without ...

ControllabilityGramian[ss] gives the controllability Gramian of the StateSpaceModel object ss.

HermiteDecomposition[m] gives the Hermite normal form decomposition of an integer matrix m.