Euclidean tilings by convex regular polygons

Example periodic tilings

A regular tiling has one type of regular face.

A semiregular or uniform tiling has one type of vertex, but two or more types of faces.

A k-uniform tiling has k types of vertices, and two or more types of regular faces.

A non-edge-to-edge tiling can have different-sized regular faces.

Tilings of the Euclidean plane by convex regular polygons have been widely used since antiquity. The first systematic mathematical treatment was that of Kepler in his Harmonice Mundi (Latin: The Harmony of the World, 1619).