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.

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 geometric construction done with a movable compass alone. All constructions possible with a compass and straightedge are possible with a movable compass alone, as was ...

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.