Search Results for ""

A generalization of a Heyting algebra which replaces Boolean algebra in "intuitionistic" logic.

Dini Derivative, Lower Left Dini Derivative, Upper Left Dini Derivative, Upper Right Dini Derivative

The main diagonal of a square matrix can be extracted in the Wolfram Language using Tr[m, List].

A function used to study ordinary differential equations.

A function f which may (but does not necessarily) associate a given member of the range of f with more than one member of the domain of f. For example, trigonometric ...

The sequence generated by repeated application of a map. The map is said to have a closed orbit if it has a finite number of elements.

An algorithm which constructs allowed mathematical statements from simple ingredients.

A pair of matrices ND^(-1) or D^(-1)N, where N is the matrix numerator and D is the denominator.

Numerical maximization is implemented as NMaximize[f, vars]5.0.

A set considered together with the sigma-algebra on the set.