Automated Deduction in Ring Theory (Q2819201)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Deduction in Ring Theory |
scientific article |
Statements
Automated Deduction in Ring Theory (English)
0 references
28 September 2016
0 references
Prover9
0 references
Otter
0 references
commutativity
0 references
associative rings
0 references