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

InverseZTransform[expr, z, n] gives the inverse Z transform of expr. InverseZTransform[expr, {z_1, z_2, ...}, {n_1, n_2, ...}] gives the multiple inverse Z transform of expr.

In calculus even more than other areas, Mathematica packs centuries of mathematical development into a small number of exceptionally powerful functions. Continually enhanced ...

RegionPlot[pred, {x, x_min, x_max}, {y, y_min, y_max}] makes a plot showing the region in which pred is True.

In almost every area where probability and statistics are used there have been found a few parametric distribution families that are known to be good models. The origins vary ...

Tightly integrated into Mathematica's core language is a rich set of primitives for interacting with external environments. Mathematica's symbolic architecture makes possible ...

Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

DiracComb[x] represents the Dirac comb function giving a delta function at every integer point. DiracComb[x_1, x_2, ...] represents the multidimensional Dirac comb function.

lhs == rhs returns True if lhs and rhs are identical.

The general form of a nonlinear second-order ODE is For simplicity, assume that the equation can be solved for the highest-order derivative y^ ′′(x) to give There are a few ...