Effective bounds for Vinberg's algorithm for arithmetic hyperbolic lattices

Mikhail Belolipetsky, Michael Kapovich

A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding…