Quantifier Elimination and Cylindrical Algebraic Decomposition (Paperback, Softcover reprint of the original 1st ed. 1998)

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. In addition to original contributions by S. Basu et al., L. Gonzalez-Vega et al., G. Hagel, H. Hong and J.R. Sendra, J.R. Johnson, S. McCallum, D. Richardson, and V. Weispfenning and a survey by G.E. Collins outlining the twenty-year progress in CAD-based QE it brings together seminal publications from the area: A. Tarski: A Decision Method for Elementary Algebra and Geometry G.E. Collins: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition M.J. Fischer and M.O. Rabin: Super-Exponential Complexity of Presburger Arithmetic D.S. Arnon et al.: Cylindrical Algebraic Decomposition I: The Basic Algorithm; II: An Adjacency Algorithm for the Plane H. Hong: An Improvement of the Projection Operator in Cyclindrical Algebraic Decomposition G.E. Collins and H. Hong: Partial Cylindrical Algebraic Decomposition for Quantifier Elimination H. Hong: Simple Solution Formula Construction in Cylindrical Algebraic Decomposition Based Quantifier Elimination J. Renegar: Recent Progress on the Complexity of the Decision Problem for the Reals

General

Imprint:	Springer-Verlag
Country of origin:	Austria
Series:	Texts & Monographs in Symbolic Computation
Release date:	March 2004
First published:	1998
Editors:	Bob F Caviness • Jeremy R. Johnson
Dimensions:	244 x 170 x 23mm (L x W x T)
Format:	Paperback
Pages:	431
Edition:	Softcover reprint of the original 1st ed. 1998
ISBN-13:	978-3-211-82794-9
Categories:	Books > Science & Mathematics > Mathematics > Geometry > Algebraic geometry Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
LSN:	3-211-82794-3
Barcode:	9783211827949

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!