Search Results for ""

An occurrence of a variable in a logic which is not free. Bound variables are also called dummy variables.

The number of "prime" boxes is always finite, where a set of boxes is prime if it cannot be built up from one or more given configurations of boxes.

A finite, increasing sequence of integers {a_1,...,a_m} such that (a_i-1)|(a_1...a_(m-1)) for i=1, ..., m, where m|n indicates that m divides n. A Carmichael sequence has ...

In mathematics, a cell is a finite regular polytope.

The classification of a collection of objects generally means that a list has been constructed with exactly one member from each isomorphism type among the objects, and that ...

A closed interval is an interval that includes all of its limit points. If the endpoints of the interval are finite numbers a and b, then the interval {x:a<=x<=b} is denoted ...

A compact surface is a surface which is also a compact set. A compact surface has a triangulation with a finite number of triangles. The sphere and torus are compact.

A compactum (plural: compacta) is a compact metric space. An example of a compactum is any finite discrete metric space. Also, the space [0,1] union [2,3] is a compactum, ...

A complete metric space is a metric space in which every Cauchy sequence is convergent. Examples include the real numbers with the usual metric, the complex numbers, ...

The word configuration is sometimes used to describe a finite collection of points p=(p_1,...,p_n), p_i in R^d, where R^d is a Euclidean space. The term "configuration" also ...