Polynomial-time proofs that groups are hyperbolic

DOI10.1016/j.jsc.2020.08.003arXiv1905.09770WikidataQ113869829 ScholiaQ113869829MaRDI QIDQ6319257

Stephen A. Linton, Colva M. Roney-Dougal, Max Neunhöffer, Markus Pfeiffer, Derek F. Holt, Richard A. Parker

Publication date: 23 May 2019

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68W30: Symbolic computation and algebraic computation

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20F67: Hyperbolic groups and nonpositively curved groups