2 problems
Let be a finite-volume Coxeter polytope with facets, and let be the group generated by the reflections in the facets of . Reflection-generation c…
Finiteness conjecture. The number of essential compact hyperbolic Coxeter polytopes of dimension at least four is finite.