• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Automated Deduction in Equational Logic and Cubic Curves

Automated Deduction in Equational Logic and Cubic Curves

Paperback

FictionGeneral ComputersGeometry

ISBN10: 3540613986
ISBN13: 9783540613985
Publisher: Springer
Published: Jun 12 1996
Pages: 238
Weight: 0.79
Height: 0.53 Width: 6.14 Depth: 9.21
Language: English
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 joint effort.

Also in

Geometry