scientific article; zbMATH DE number 848084

MaRDI QIDQ4867136zbMATHFDO

Authors Derek F. Holt

Publication date 12 March 2000

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

zbMATH Keywords

algorithmsfinite state automataautomatic groups

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 665465
• scientific article; zbMATH DE number 475449
• Automatic groups: A guided tour
• Software for groups: theory and practice
• Group Sequential Methods and Software Applications
• scientific article; zbMATH DE number 5255704
• scientific article; zbMATH DE number 1942576
• Automatic structures and groups
• AUTOMATE, a computing package for automata and finite semigroups

Cited in

(10)

• scientific article; zbMATH DE number 475449 (Why is no real title available?)
• Polynomial-time proofs that groups are hyperbolic
• String rewriting for double coset systems.
• FA-presentable groups and rings
• Computing subgroup presentations, using the coherence arguments of McCammond and Wise.
• AUTOMATA
• An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite
• Automatic Groups Associated with Word Orders Other than Shortlex
• On Coxeter's families of group presentations.
• The Development of the Theory of Automatic Groups

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4867136)