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.

Review

"... 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

"About this title" may belong to another edition of this title.

Store Description

Thank you for shopping today! We are a Nonprofit Organization called The Chattanooga Public Library Foundation and we use our book sales to fund programming for our Community Libraries. We have a wide variety of donated and ex-library books that are waiting to find new homes. All proceeds go straight to our Organization to carry on our commitment to providing opportunities for lifelong learning.

Visit Seller's Storefront

Seller's business information

The Friends of the Chattanooga Public Library
1001 Broad Street, Chattanooga, TN, 37402, U.S.A.

Sale & Shipping Terms

Terms of Sale

All books subject to prior sale. We accept Master Card or Visa through abecommerce secure server. Extra postage may be required for international shipments and oversize books or sets.

Shipping Terms

Orders usually ship within 2 business days. Insurence included on expensive items. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We ship via US postal services.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	3 to 5 business days	3 to 5 business days
First item	US$ 5.67	US$ 9.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.