Texts & Monographs in Symbolic Computation

Quantifier Elimination and Cylindrical Algebraic Decomposition

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

Free Preview

Buy this book

eBook $74.99
price for USA in USD (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 in USD
  • 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)

Table of contents (20 chapters)

Buy this book

eBook $74.99
price for USA in USD (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 in USD
  • 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
16 b/w illustrations
Topics