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)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A case study of completion modulo distributivity and Abelian groups ⋮ Using hints to increase the effectiveness of an automated reasoning program: Case studies ⋮ Unnecessary inferences in associative-commutative completion procedures ⋮ Automated proofs of the Moufang identities in alternative rings ⋮ Automated proofs of equality problems in Overbeek's competition
This page was built for publication: Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
