scientific article; zbMATH DE number 848084
zbMATH Open0932.20037arXivmath/9507202MaRDI QIDQ4867136FDOQ4867136
Authors: Derek F. Holt 
Publication date: 12 March 2000
Full work available at URL: https://arxiv.org/abs/math/9507202
Title of this publication is not available (Why is that?)
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
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)
Cited In (9)
- String rewriting for double coset systems.
- Polynomial-time proofs that groups are hyperbolic
- The Development of the Theory of Automatic Groups
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise.
- AUTOMATA
- An Alternative Proof That the Fibonacci Group F(2, 9) is Infinite
- On Coxeter's families of group presentations.
- FA-presentable groups and rings
- Title not available (Why is that?)
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)
