Overview

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 Tarskis landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.

Full Product Details

Author:   Bob F. Caviness ,  Jeremy R. Johnson
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   Softcover reprint of the original 1st ed. 1998
Dimensions:   Width: 17.00cm , Height: 2.30cm , Length: 24.40cm
Weight:   0.860kg
ISBN:  

9783211827949

ISBN 10:   3211827943
Pages:   431
Publication Date:   16 April 1998
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

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 fur Mathematik

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions