Search Results for ""

The 6-polyiamond illustrated above.

A theory is decidable iff there is an algorithm which can determine whether or not any sentence r is a member of the theory.

Qualitatively, a deep theorem is a theorem whose proof is long, complicated, difficult, or appears to involve branches of mathematics which are not obviously related to the ...

A double bubble is pair of bubbles which intersect and are separated by a membrane bounded by the intersection. The usual double bubble is illustrated in the left figure ...

A chord which is a normal at each end. A centrosymmetric set K subset R^d has d double normals through the center (Croft et al. 1991). For a curve of constant width, all ...

A roll of eight on a pair of six-sided dice in the game of craps. The probability of rolling "eighter from Decatur" is 5/36, or 13.888...%.

An n×n matrix A is an elementary matrix if it differs from the n×n identity I_n by a single elementary row or column operation.

The matrix operations of 1. Interchanging two rows or columns, 2. Adding a multiple of one row or column to another, 3. Multiplying any row or column by a nonzero element.

Ellipsoidal calculus is a method for solving problems in control and estimation theory having unknown but bounded errors in terms of sets of approximating ellipsoidal-value ...

Schubert's application of the conservation of number principle.