Search Results for ""

There exists a system of distinct representatives for a family of sets S_1, S_2, ..., S_m iff the union of any k of these sets contains at least k elements for all k from 1 ...

A binary Hamming code H_r of length n=2^r-1 (with r>=2) is a linear code with parity-check matrix H whose columns consist of all nonzero binary vectors of length r, each used ...

The Hamming distance between two vertices of a hypercube is the number of coordinates at which the two vertices differ.

Define the zeta function of a variety over a number field by taking the product over all prime ideals of the zeta functions of this variety reduced modulo the primes. Hasse ...

One of the 24 7-polyiamonds.

A heptomino is a 7-polyomino. There are 108 free (illustrated above), 196 one-sided, and 760 fixed heptominoes. There is a single heptomino containing a hole (illustrated ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

The illusion in view by staring at the small black dot for a half minute or so, then switching to the white dot. The black squares appear stationary when staring at the white ...

The Herschel is the heptomino illustrated above which is shaped like the astronomical symbol for Saturn. It was misnamed by early investigators of the game of life who ...

The 6-polyiamond illustrated above.