Coxeter groups are biautomatic
arXiv:2206.07804
Abstract
We prove that Coxeter groups are biautomatic. From our construction of the biautomatic structure it follows that uniform lattices in isometry groups of buildings are biautomatic.
10 pages, 2 figures; v2 minor changes