Texts & Monographs in Symbolic Computation

Quantifier Elimination and Cylindrical Algebraic Decomposition

Editors: Caviness, Bob F., Johnson, Jeremy R. (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-9459-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-211-82794-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.

Reviews

"... The book is a nearly complete presentation of the history of the developement of CAD algorithms and its applications, and is suitable for the beginner as well as the expert ...” Zentralblatt für Mathematik

Table of contents (20 chapters)

  • Introduction

    Caviness, Bob F. (et al.)

    Pages 1-7

  • Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress

    Collins, George E.

    Pages 8-23

  • A Decision Method for Elementary Algebra and Geometry

    Tarski, Alfred

    Pages 24-84

  • Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

    Collins, George E.

    Pages 85-121

  • Super-Exponential Complexity of Presburger Arithmetic

    Fischer, Michael J. (et al.)

    Pages 122-135

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-9459-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-211-82794-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Quantifier Elimination and Cylindrical Algebraic Decomposition
Editors
  • Bob F. Caviness
  • Jeremy R. Johnson
Series Title
Texts & Monographs in Symbolic Computation
Copyright
1998
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag/Wien
eBook ISBN
978-3-7091-9459-1
DOI
10.1007/978-3-7091-9459-1
Softcover ISBN
978-3-211-82794-9
Series ISSN
0943-853X
Edition Number
1
Number of Pages
XIX, 431
Number of Illustrations and Tables
16 b/w illustrations
Topics