On Coxeter's families of group presentations.
From MaRDI portal
Publication:606655
DOI10.1016/j.jalgebra.2010.02.043zbMath1204.20039OpenAlexW2050616850MaRDI QIDQ606655
Publication date: 18 November 2010
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgebra.2010.02.043
automatic groupspresentations of groupsfiniteness proofsinfiniteness proofsKnuth-Bendix rewritingTodd-Coxeter coset enumeration
Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)
Related Items
An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators. ⋮ Polynomial-time proofs that groups are hyperbolic
Uses Software
Cites Work