Automated Deduction in Ring Theory
From MaRDI portal
Publication:2819201
DOI10.1007/978-3-319-42432-3_9zbMath1434.68642OpenAlexW2478505817MaRDI QIDQ2819201
Publication date: 28 September 2016
Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_9
Mechanization of proofs and logical operations (03B35) Computational aspects of associative rings (general theory) (16Z05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Automated proof of ring commutativity problems by algebraic methods
- Solution of the Robbins problem
- Automated deduction in equational logic and cubic curves
- Structure theory for algebraic algebras of bounded degree
- A Condition for the Commutativity of Rings
- Derivations in Prime Rings
- An Anticommutativity Consequence of a Ring Commutativity Theorem of Herstein
- The Additive Group of an Infinite Near-Field is Abelian
- On the Commutativity of Addition