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