scientific article; zbMATH DE number 3870641
From MaRDI portal
Publication:3336737
Recommendations
- Automated proof of ring commutativity problems by algebraic methods
- Knuth-Bendix completion of theories of commuting group endomorphisms
- Automated deduction in ring theory
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
- Automated proofs of the Moufang identities in alternative rings
Cited in
(12)- Deductive and inductive synthesis of equational programs
- Computers and universal algebra: Some directions
- Automated proofs of the Moufang identities in alternative rings
- Automated proofs of equality problems in Overbeek's competition
- Unnecessary inferences in associative-commutative completion procedures
- Distributing equational theorem proving
- Automated proof of ring commutativity problems by algebraic methods
- Automated deduction with associative-commutative operators
- An overview of LP, the Larch Prover
- Automated deduction in ring theory
- Consider only general superpositions in completion procedures
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3336737)
