Four-dimensional regular polyhedra

This paper completes the classification of the four-dimensional (finite) regular polyhedra, of which those with planar faces were-in effect-found by Arocha, Bracho and Montejano. However, the methods employed here are in the same spirit as those used in the description of all three-dimensional regular polytopes by this author and Schulte, and the regular polytopes of full rank by this author. The procedure has two stages. First, the possible dimension vectors (dim R(0), dim R(1), dim R(2)) of the mirrors R(0), R(1), R(2) of the generating reflexions of the symmetry groups are determined. Second, all polyhedra with a given dimension vector are found. Most of the polyhedra are related to four-dimensional Coxeter groups, although one class has to be approached using quaternions.