Springer Book Archives: eBooks only 8.99 each! Save now >>

Lecture Notes in Artificial Intelligence
cover

Automated Deduction in Equational Logic and Cubic Curves

Authors: McCune, William, Padmanabhan, R.

Buy this book

eBook $59.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68522-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-540-61398-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

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.
Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.

Table of contents (8 chapters)

Table of contents (8 chapters)
  • Introduction

    Pages 1-9

  • Otter and MACE

    Pages 11-31

  • Algebras over algebraic curves

    Pages 33-62

  • Other (gL)-algebras

    Pages 63-94

  • Semigroups

    Pages 95-107

Buy this book

eBook $59.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68522-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-540-61398-5
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction in Equational Logic and Cubic Curves
Authors
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1095
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68522-7
DOI
10.1007/3-540-61398-6
Softcover ISBN
978-3-540-61398-5
Edition Number
1
Number of Pages
X, 238
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.