BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr.BooleanMinimize[expr, form] finds a minimal-length representation for expr in the ...

DiscreteLQEstimatorGains[ss, {w, v}, \[Tau]] gives the optimal discrete-time estimator gain matrix with sampling period \[Tau] for the continuous-time StateSpaceModel object ...

DiscreteLQRegulatorGains[ss, {q, r}, \[Tau]] gives the optimal discrete-time state feedback gain matrix with sampling period \[Tau] for the continuous-time StateSpaceModel ...

GeneratingFunction[expr, n, x] gives the generating function in x for the sequence whose n\[Null]^th series coefficient is given by the expression ...

WorkingPrecision is an option for various numerical operations that specifies how many digits of precision should be maintained in internal computations.

There are many situations where one wants to find a formula that best fits a given set of data. One way to do this in Mathematica is to use Fit. Basic linear fitting. Here is ...

One of the most powerful aspects of graphics in Mathematica is the availability of three-dimensional as well as two-dimensional graphics primitives. By combining ...

Mathematica allows you to treat abstract 3D graphics using familiar physical metaphors. It provides not only real-time 3D manipulation, but also detailed programmatic control ...

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