Search Results for ""

A locally finite space is one for which every point of a given space has a neighborhood that meets only finitely many elements of any cover.

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.

Roughly speaking, a matroid is a finite set together with a generalization of a concept from linear algebra that satisfies a natural set of properties for that concept. For ...