Parametrized Gröbner–Shirshov bases

DOI10.1080/00927872.2016.1226875zbMath1392.20026OpenAlexW2466061222MaRDI QIDQ5274706

No author found.

Publication date: 6 July 2017

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927872.2016.1226875

zbMATH Keywords

normal formgroupHNN extensionfree associative algebraGröbner-Shirsov bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computational aspects of associative rings (general theory) (16Z05)

Cites Work

• Unnamed Item
• Gröbner-Shirshov bases: from their inception to the present time.
• Sufficiency Conditions for Bokut' Normal Forms
• Decision Problems in Group Theory
• Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group