Using an orderly algorithm, the Steiner triple systems of order 19 are classified; there are 11,084,874,829 pairwise nonisomorphic such designs. For each design, the order of its automorphism group and the number of Pasch configurations it contains are recorded; 2,591 of the designs are anti-Pasch. There are three main parts of the classification:… (More)
The problem of finding packings of congruent circles in a circle, or, equivalently, of spreading points in a circle, is considered. Two packing algorithms are discussed, and the best packings found of up to 65 circles are presented.
The problem of nding the maximum radius of n non-overlapping equal circles in a unit square is considered. A computer-aided method for proving global optimality of such packings is presented. This method is based on recent results by De Groot, Monagan, Peik-ert, and WWrtz. As an example, it is shown how the method can be used to get an optimality proof for… (More)
A set of points, S ⊆ P G(r, q), is said to be-saturating if, for any point x ∈ P G(r, q), there exist + 1 points in S that generate a subspace in which x lies. The cardinality of a smallest possible set S with this property is denoted by k(r, q,). We give a short survey of what is known about k(r, q, 1) and present new results for k(r, q, 2) for small… (More)