Automated deduction in ring theory
DOI10.1007/978-3-319-42432-3_9zbMATH Open1434.68642OpenAlexW2478505817MaRDI QIDQ2819201FDOQ2819201
Authors: R. Padmanabhan, Yang Zhang 
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
Recommendations
- Automated proof of ring commutativity problems by algebraic methods
- Some experiments in nonassociative ring theory with an automated theorem prover
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
- scientific article; zbMATH DE number 3870641
- Automated reasoning in reduction rings using the Theorema system
Computational aspects of associative rings (general theory) (16Z05) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Derivations in Prime Rings
- Solution of the Robbins problem
- Automated deduction in equational logic and cubic curves
- On the Commutativity of Addition
- Structure theory for algebraic algebras of bounded degree
- A Condition for the Commutativity of Rings
- Title not available (Why is that?)
- Automated proof of ring commutativity problems by algebraic methods
- The Additive Group of an Infinite Near-Field is Abelian
- An Anticommutativity Consequence of a Ring Commutativity Theorem of Herstein
Cited In (14)
- Automated reasoning with power maps
- Title not available (Why is that?)
- Automated reasoning in reduction rings using the Theorema system
- Automatic Abstraction for Congruences
- Automated proofs of the Moufang identities in alternative rings
- Z-module reasoning
- Title not available (Why is that?)
- Formalizing ring theory in PVS
- Superposition theorem proving for commutative rings
- Automated proof of ring commutativity problems by algebraic methods
- Automated deduction with associative-commutative operators
- Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
- Some experiments in nonassociative ring theory with an automated theorem prover
- Automated Reasoning in Higher-Order Regular Algebra
Uses Software
This page was built for publication: Automated deduction in ring theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819201)
