The Knuth-Bendix procedure for strings as a substitute for coset enumeration

DOI10.1016/S0747-7171(08)80096-XzbMath0785.20022OpenAlexW2048836603MaRDI QIDQ1192226

Charles C. Sims

Publication date: 27 September 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80096-x

zbMATH Keywords

finitely presented groupcoset enumerationKnuth-Bendix procedure

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items

Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach

Cites Work

• Presentations of groups and monoids
• Estimating the Efficiency of Backtrack Programs
• A practical method for enumerating cosets of a finite abstract group
• A Finitely Generated Infinite Simple Group
• Unnamed Item
• Unnamed Item
• Unnamed Item