Items related to Quantifier Elimination and Cylindrical Algebraic Decompositi...
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation) - Softcover
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.
"synopsis" may belong to another edition of this title.
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.
- PublisherSpringer
- Publication date1998
- ISBN 10 3211827943
- ISBN 13 9783211827949
- BindingPaperback
- Number of pages450
- EditorCaviness Bob F., Johnson Jeremy R.
Buy New
Learn more about this copy
US$ 56.46
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783211827949
Buy New
US$ 56.46
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Published by
Springer
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020085157
Buy New
US$ 59.75
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Seller:
Rating
Book Description Condition: New. Book is in NEW condition. Seller Inventory # 3211827943-2-1
Buy New
US$ 73.96
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Seller:
Rating
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published. Seller Inventory # 353-3211827943-new
Buy New
US$ 73.97
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Published by
Springer
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # I-9783211827949
Buy New
US$ 74.00
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783211827949_lsuk
Buy New
US$ 64.42
Convert currency
Seller Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer Vienna Apr 1998
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 456 pp. Englisch. Seller Inventory # 9783211827949
Buy New
US$ 58.94
Convert currency
Stock Image
QUANTIFIER ELIMINATION AND CYLIN
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.63. Seller Inventory # Q-3211827943
Buy New
US$ 86.57
Convert currency
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer Verlag
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 450 pages. 9.75x6.75x0.75 inches. In Stock. Seller Inventory # x-3211827943
Buy New
US$ 80.00
Convert currency
Seller Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer Vienna
(1998)
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783211827949
Buy New
US$ 64.03
Convert currency