Software Tools
AlVin: a software implementation of Vinberg’s algorithm by Rafael Guglielmetti, see the GitHub project and the full documentation.
CoxIter: a program (created by Rafael Guglielmetti) computing invariants of Coxeter polytopes and checking compactness and volume finiteness. See the GitHub project, the full documentation, and Web version.
VinAl: a software implementation of Vinberg’s algorithm created by Sasha Perepechko and me.
PLoF: a program computing lower dimensional faces of Coxeter polytopes created by Sasha Kolpakov in the framework of our paper.
Useful Links
Hyperbolic Coxeter polytopes: the webpage created by Anna Felikson and Pavel Tumarkin