Some experiments in nonassociative ring theory with an automated theorem prover

DOI10.1007/BF00243209zbMath0648.17001MaRDI QIDQ1105012

Rick L. Stevens

Publication date: 1987

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

zbMATH Keywords

automated theorem prover

Mathematics Subject Classification ID

General nonassociative rings (17A99) Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04)

Related Items (3)

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

This page was built for publication: Some experiments in nonassociative ring theory with an automated theorem prover