Some integer functions. The remainder on dividing 17 by 3. The integer part of 17/3.

Since lists are just a particular kind of expression, it will come as no surprise that you can refer to parts of any expression much as you refer to parts of a list. This ...

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 7 represents another major achievement in Mathematica's long history of innovation in mathematics and algorithms. Building on the broad capabilities of ...

MatrixPower[m, n] gives the n\[Null]\[Null]^th matrix power of the matrix m. MatrixPower[m, n, v] gives the n\[Null]^th matrix power of the matrix m applied to the vector v.

FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions, and returns the simplest form it finds. FullSimplify[expr, assum] ...

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

Basic plotting functions. This plots a graph of sin(x) as a function of x from 0 to 2π. You can plot functions that have singularities. Mathematica will try to choose ...

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

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