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

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.

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.