scientific article; zbMATH DE number 1836320

zbMATH Open1021.20026MaRDI QIDQ4781986FDOQ4781986

Authors: Charles C. Sims 

Publication date: 13 July 2003

Title of this publication is not available (Why is that?)

Recommendations

• KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES
• scientific article; zbMATH DE number 3870642
• Infinite complete group presentations
• A completion procedure for finitely presented groups that is based on word cycles
• On the problem of generating small convergent systems

zbMATH Keywords

finitely presented groupsrewriting systemsKnuth-Bendix procedure for strings

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to group theory (20-04)

Cited In (6)

• KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES
• Intelligent Processing of an Unrestricted Text in First Order String Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q4781986)