Some experiments in nonassociative ring theory with an automated theorem prover
From MaRDI portal
Publication:1105012
DOI10.1007/BF00243209zbMath0648.17001MaRDI QIDQ1105012
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
17A99: General nonassociative rings
17-04: Software, source code, etc. for problems pertaining to nonassociative rings and algebras
Related Items
A case study of completion modulo distributivity and Abelian groups, Automated proofs of the Moufang identities in alternative rings, Some experiments with a completion theorem prover