TautologyQ[bf] gives True if all combinations of values of variables make the Boolean function bf yield True.TautologyQ[expr, {a_1, a_2, ...}] gives True if all combinations ...

Matrix inversion. Here is a simple 2×2 matrix. This gives the inverse of m. In producing this formula, Mathematica implicitly assumes that the determinant ad-bc is nonzero.

Searching for local minima and maxima. This finds the value of x which minimizes Γ(x), starting at x2. The last element of the list gives the value at which the minimum is ...

Options associated with the interactive entering of expressions. The option SingleLetterItalics is typically set whenever a cell uses TraditionalForm. Here is an expression ...

LayeredGraphPlot attempts to draw the vertices of a graph in a series of layers, placing dominant vertices at the top, and vertices lower in the hierarchy progressively ...

TreePlot lays out the vertices of a graph in a tree of successive layers, or a collection of trees. If the graph g is not a tree, TreePlot lays out its vertices on the basis ...

In addition to its graphical results, Wolfram|Alpha can provide alternative representations that contain additional information or are well suited to particular tasks. These ...

EvaluationMonitor is an option for various numerical computation and plotting functions that gives an expression to evaluate whenever functions derived from the input are ...

ListCorrelate[ker, list] forms the correlation of the kernel ker with list. ListCorrelate[ker, list, k] forms the cyclic correlation in which the k \[Null]^th element of ker ...

WaveletMapIndexed[f, wd] applies the function f to the arrays of coefficients and indices of a ContinuousWaveletData or DiscreteWaveletData object.WaveletMapIndexed[f, dwd, ...