Case studies of Z-module reasoning: Proving benchmark theorems from ring theory

MaRDI QIDQ1102357zbMATH OpenFDO

Authors Tie-Cheng Wang

Publication date 1987

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated theorem provingZ-module reasoning

Mathematics Subject Classification ID

Center, normalizer (invariant elements) (associative rings and algebras) (16U70) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04)

Recommendations

• Z-module reasoning
• A new method for the Boolean ring based theorem proving
• scientific article; zbMATH DE number 4068331
• Solving open problems in right alternative rings with Z-module reasoning
• Automated deduction in ring theory

Cited in

(10)

• A case study of completion modulo distributivity and Abelian groups
• Solving open problems in right alternative rings with Z-module reasoning
• Unnecessary inferences in associative-commutative completion procedures
• scientific article; zbMATH DE number 3870641 (Why is no real title available?)
• Automated deduction in ring theory
• Automated proofs of the Moufang identities in alternative rings
• Using hints to increase the effectiveness of an automated reasoning program: Case studies
• Automated proofs of equality problems in Overbeek's competition
• scientific article; zbMATH DE number 4068331 (Why is no real title available?)
• Z-module reasoning

This page was built for publication: Case studies of Z-module reasoning: Proving benchmark theorems from ring theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102357)