DifferentialRootReduce[expr, x] attempts to reduce expr to a single DifferentialRoot object as a function of x.DifferentialRootReduce[expr, {x, x_0}] takes the initial ...

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.

This package provides an interactive tool for investigating the solutions of differential equations as well as other types of equations that have solutions that can be viewed ...

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

NSolve[expr, vars] attempts to find numerical approximations to the solutions of the system expr of equations or inequalities for the variables vars. NSolve[expr, vars, ...

NSolve gives you a general way to find numerical approximations to the solutions of polynomial equations. Finding numerical solutions to more general equations, however, can ...

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...

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