Search Results for ""

A set is denumerable iff it is equipollent to the finite ordinal numbers. (Moore 1982, p. 6; Rubin 1967, p. 107; Suppes 1972, pp. 151-152). However, Ciesielski (1997, p. 64) ...

A search algorithm of a tree that explores the first child of a node before visiting its siblings. Tarjan (1972) and Hopcroft and Tarjan (1973) showed that depth-first search ...

A derivation is a sequence of steps, logical or computational, from one result to another. The word derivation comes from the word "derive." "Derivation" can also refer to a ...

The total angular defect is the sum of the angular defects over all polyhedron vertices of a polyhedron, where the angular defect delta at a given polyhedron vertex is the ...

The descending chain condition, commonly abbreviated "D.C.C.," is the dual notion of the ascending chain condition. The descending chain condition for a partially ordered set ...

The study of designs and, in particular, necessary and sufficient conditions for the existence of a block design.

Let DeltaA^'B^'C^' be a triangle perspective to a reference triangle DeltaABC with perspector D^(''). Let A^('') be the intersection of lines BC^' and CB^', B^('') the ...

Let Delta_1, Delta_2, and Delta_3 be tetrahedra in projective three-space P^3. Then the tetrahedra are said to be desmically related if there exist constants alpha, beta, and ...

A useful determinant identity allows the following determinant to be expressed using vector operations, |x_1 y_1 z_1 1; x_2 y_2 z_2 1; x_3 y_3 z_3 1; x_4 y_4 z_4 ...

A Turing machine is called deterministic if there is always at most one instruction associated with a given present internal state/tape state pair (q,s). Otherwise, it is ...