scientific article; zbMATH DE number 848084

MaRDI QIDQ4867136zbMATH OpenFDO

Authors Derek F. Holt

Publication date 12 March 2000

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

zbMATH Keywords

algorithmsautomatic groupsfinite state automata

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) 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) Formal languages and automata (68Q45) Symbolic computation and algebraic computation (68W30)

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

(11)

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

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)