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 ...
Read More
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.
Read Less
Add this copy of Quantifier Elimination and Cylindrical Algebraic to cart. $38.00, very good condition, Sold by Chatt PublicLibraryFoundation rated 4.0 out of 5 stars, ships from Chattanooga, TN, UNITED STATES, published 1998 by Springer.
Add this copy of Quantifier Elimination and Cylindrical Algebraic to cart. $43.00, very good condition, Sold by Common Crow Books rated 5.0 out of 5 stars, ships from Pittsburgh, PA, UNITED STATES, published 1998 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Near Fine. Paperback, 1998, octavo, 431pp., not illustrated. Book near fine with mild wear to corners, binding tight, text clean bright and unmarked. No DJ.
Add this copy of Quantifier Elimination and Cylindrical Algebraic to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1998 by Springer.
Add this copy of Quantifier Elimination and Cylindrical Algebraic to cart. $58.53, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1998 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 431 p. Contains: Unspecified, Illustrations, black & white. Texts & Monographs in Symbolic Computation. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Quantifier Elimination and Cylindrical Algebraic to cart. $91.92, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1998 by Springer.
