Automated Deduction in Equational Logic and Cubic Curves by William McCune, R. Padmanabhan.
This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their join...
Full description
Saved in: