Triangles, squares and geodesics

Rena Levitt, Jon McCammond

In the early 1990s Steve Gersten and Hamish Short proved that compact nonpositively curved triangle complexes have biautomatic fundamental groups and that compact nonpositively cur…