Revisiting Poincaré's theorem on presentations of discontinuous groups via fundamental polyhedra (Q900741)

The Poincaré Polyhedron Theorem is a result that provides a method of obtaining a presentation of a discontinuous subgroup of the group of isometries of a Riemannian manifold of constant curvature. In this paper the authors give a new proof of Poincaré's Polyhedron Theorem. The bulk of the paper revolves around technical lemmas in point-set topology.