Polynomial-time proofs that groups are hyperbolic

Derek Holt, Stephen Linton, Max Neunhoeffer +3

It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kam…