Polynomial-time proofs that groups are hyperbolic

DOI10.1016/j.jsc.2020.08.003OpenAlexW3049290311WikidataQ113869829 ScholiaQ113869829MaRDI QIDQ2229726

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

Publication date: 18 February 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.09770

zbMATH Keywords

curvatureword problemhyperbolic groupsvan Kampen diagrams

Mathematics Subject Classification ID

Global differential geometry (53Cxx) General low-dimensional topology (57Mxx) Special aspects of infinite or finite groups (20Fxx)

Related Items

Curvature distribution and hyperbolicity ⋮ Curvature distribution, relative presentations and hyperbolicity with an application to Fibonacci groups

Uses Software

• GAP
• Magma
• kbmag
• AUTOMATA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Coxeter's families of group presentations.
• An approach to the study of finitely presented groups based on the notion of discrete curvature
• Small cancellation theory and automatic groups
• The Magma algebra system. I: The user language
• Property (T) and Kazhdan constants for discrete groups
• Strongly geodesically automatic groups are hyperbolic
• Groups, Languages and Automata
• The complexity of Dehn's algorithm for word problems in groups
• Pregroups and Bass-Serre theory
• Pregroups and length functions
• Efficient Algorithms for Shortest Paths in Sparse Networks
• Complexes of groups and geometric small cancelation over graphs of groups
• COMPUTATION IN WORD-HYPERBOLIC GROUPS
• ON BIAUTOMATICITY OF NON-HOMOGENOUS SMALL-CANCELLATION GROUPS