Stock image for illustration purposes only - book cover, edition or condition may vary.
Quantifier Elimination and Cylindrical Algebraic Decomposition
. Ed(S): Caviness, Bob F.; Johnson, J. R.
€ 67.57
FREE Delivery in Ireland
Description for Quantifier Elimination and Cylindrical Algebraic Decomposition
Paperback. A collection of major papers on CAD and QE and on the related area of algorthmic aspects of real geometry. The work contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area, outlining Tarski's paper, as well as a survey outlining the developments in CAD. Editor(s): Caviness, Bob F.; Johnson, J. R. Series: Texts and Monographs in Symbolic Computation. Num Pages: 450 pages, 16 black & white illustrations. BIC Classification: PBMW; UGC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 23. Weight in Grams: 860.
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 ... 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 ... Read more
Product Details
Format
Paperback
Publication date
1998
Publisher
Springer Verlag GmbH Austria
Number of pages
450
Condition
New
Series
Texts and Monographs in Symbolic Computation
Number of Pages
431
Place of Publication
Vienna, Austria
ISBN
9783211827949
SKU
V9783211827949
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Quantifier Elimination and Cylindrical Algebraic Decomposition
"... 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