ABSTRACT
Archimedes enumerated the convex polyhedra with regular faces and only one type of vertex (because the symmetry group is transitive on the vertices). Many people have independently enumerated the tilings of the Euclidean plane that satisfy the same condition, and a few have tried to enumerate the corresponding tilings of the hyperbolic plane and achieved some partial results.
