We present a method by which torsion-free groups of automorphisms of a 2-dimensional hyperbolic building which act simply transitively on the vertex set can be constructed, and prove that any such group can be obtained by this construction. The method produces groups defined by finite presentations with strong small cancellation...
This dataset contains the following:
1) A full list of the scaffolded presentations of the torsion-free vertex-regular lattices of Bourdon's building I55, classified up to isomorphism.
2) The source code for the programs used to construct these presentations in the software GAP 4.
3) The source code for the programs...