Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
From MaRDI portal
Publication:1102357
zbMath0644.16023MaRDI QIDQ1102357
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
16U70: Center, normalizer (invariant elements) (associative rings and algebras)
16-04: Software, source code, etc. for problems pertaining to associative rings and algebras
Related Items
Automated proofs of the Moufang identities in alternative rings, Automated proofs of equality problems in Overbeek's competition, Using hints to increase the effectiveness of an automated reasoning program: Case studies, Unnecessary inferences in associative-commutative completion procedures