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

Let S be partitioned into r×s disjoint sets E_i and F_j where the general subset is denoted E_i intersection F_j. Then the marginal probability of E_i is ...

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.