OutputResponse[sys, u, t] gives the output response of a TransferFunctionModel or StateSpaceModel object sys to the input u as a function of time t.OutputResponse[sys, u, {t, ...

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

Important for elliptical shapes and periodic potentials, Mathematica achieves a new level of implementation for Mathieu-related functions, supporting arbitrary-precision ...

With origins stretching back several centuries, discrete calculus is now an increasingly central methodology for many problems related to discrete systems and algorithms. ...

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

Mathematica has been used to make many important discoveries in discrete mathematics over the past two decades. Its integration of highly efficient and often original ...

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

ContourPlot[f, {x, x_min, x_max}, {y, y_min, y_max}] generates a contour plot of f as a function of x and y. ContourPlot[f == g, {x, x_min, x_max}, {y, y_min, y_max}] plots ...

When you write down a set of simultaneous equations in Mathematica, you are specifying a collection of constraints between variables. When you use Solve, you are finding ...