Some experiments in nonassociative ring theory with an automated theorem prover

DOI10.1007/BF00243209zbMATH Open0648.17001MaRDI QIDQ1105012FDOQ1105012

Authors: Rick L. Stevens 

Publication date: 1987

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

Recommendations

• Automated proofs of the Moufang identities in alternative rings
• scientific article; zbMATH DE number 4078855
• Automated deduction in ring theory
• Automated proof of ring commutativity problems by algebraic methods
• OTTER and the Moufang identity problem

zbMATH Keywords

automated theorem prover

Mathematics Subject Classification ID

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

Cited In (6)

• A case study of completion modulo distributivity and Abelian groups
• Automated theorem proving in quasigroup and loop theory
• Automated proofs of the Moufang identities in alternative rings
• Title not available (Why is that?)
• Some experiments with a completion theorem prover
• Automated deduction in ring theory

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

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