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.

Recensione:

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

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.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita:

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.

Condizioni di spedizione:

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.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Quantifier Elimination and Cylindrical Algebraic Decompositi...

Quantifier Elimination and Cylindrical Algebraic Decomposition

Caviness, Bob F (Editor), and Johnson, Jeremy R (Editor)

Usato - Brossura

Informazioni sull?azienda del venditore