Search Results for ""

A busy beaver is an n-state, 2-color Turing machine which writes a maximum number Sigma(n) of 1s before halting (Rado 1962; Lin and Rado 1965; Shallit 1998). Alternatively, ...

The 6-polyiamond illustrated above.

The points on a line can be put into a one-to-one correspondence with the real numbers.

The set closure St^_v of a star Stv at a vertex v of a simplicial complex K.

Given a point lattice, a cluster is a group of filled cells which are all connected to their neighbors vertically or horizontally.

Given a Schwarz triangle (p q r), replacing each polygon vertex with its antipodes gives the three colunar spherical triangles (p q^' r^'),(p^' q r^'),(p^' q^' r), (1) where ...

A set of functions {f_1(n,x),f_2(n,x)} is termed a complete biorthogonal system in the closed interval R if, they are biorthogonal, i.e., int_Rf_1(m,x)f_1(n,x)dx = ...

A variable that may assume complex values.

A complex vector bundle is a vector bundle pi:E->M whose fiber bundle pi^(-1)(x) is a complex vector space. It is not necessarily a complex manifold, even if its base ...

The concatenation of two strings a and b is the string ab formed by joining a and b. Thus the concatenation of the strings "book" and "case" is the string "bookcase". The ...