scientific article; zbMATH DE number 1241633

MaRDI QIDQ4225072zbMATH OpenFDO

Authors A. Widiger

Publication date 24 May 2000

zbMATH Keywords

left alternative ringsreduction formulasrewriting rules

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) Alternative rings (17D05) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4036026
• Automated proofs of the Moufang identities in alternative rings
• scientific article; zbMATH DE number 432721
• scientific article; zbMATH DE number 1752705

Cited in

(5)

• Ideals in computable rings
• Non-associative Gröbner bases
• scientific article; zbMATH DE number 432721 (Why is no real title available?)
• Solving the word problem for two classes of non-associative rings by rewriting
• Automated proofs of the Moufang identities in alternative rings

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 Q4225072)