scientific article; zbMATH DE number 848084

zbMath0932.20037arXivmath/9507202MaRDI QIDQ4867136

Derek F. Holt

Publication date: 12 March 2000

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmsautomatic groupsfinite state automata

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Hyperbolic groups and nonpositively curved groups (20F67) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items (8)

The Development of the Theory of Automatic Groups ⋮ On Coxeter's families of group presentations. ⋮ An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite ⋮ String rewriting for double coset systems. ⋮ Polynomial-time proofs that groups are hyperbolic ⋮ FA-presentable groups and rings ⋮ Computing subgroup presentations, using the coherence arguments of McCammond and Wise. ⋮ AUTOMATA

This page was built for publication: