The paper classifies compact hyperbolic Coxeter polytopes and improves upper bounds.
problem Classifying compact hyperbolic Coxeter polytopes and understanding their combinatorial properties.
method Study of -products of Lannér diagrams, proving superhyperbolic properties, and analyzing Lannér subdiagrams.
result Improved upper bounds on the dimension of compact hyperbolic Coxeter polytopes.