Items related to Quantifier Elimination and Cylindrical Algebraic Decompositi...
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation) - Softcover
Synopsis
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.
Search results for Quantifier Elimination and Cylindrical Algebraic Decompositi...
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Published by
Springer (edition Softcover reprint of the original 1st ed. 1998), 1998
ISBN 10: 3211827943
ISBN 13: 9783211827949
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported Softcover reprint of the original 1st ed. 1998. Seller Inventory # 3211827943-11-1
Quantity: 1 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Seller: FOLCHATT, Chattanooga, TN, U.S.A.
Seller rating 3 out of 5 stars
Trade paperback. Softcover Reprint of the Origi e. Very good. Minimal wear to cover. Seller Inventory # 2012041998
Quantity: 1 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020085157
Quantity: Over 20 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783211827949_new
Quantity: Over 20 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783211827949
Quantity: 10 available
Seller Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Published by
Springer Vienna Apr 1998, 1998
ISBN 10: 3211827943
ISBN 13: 9783211827949
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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
Quantity: 2 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 456. Seller Inventory # 262097207
Quantity: 4 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 456 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5750760
Quantity: 4 available
Seller Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Quantifier Elimination and Cylindrical Algebraic Decomposition
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 450 pages. 9.75x6.75x0.75 inches. In Stock. Seller Inventory # x-3211827943
Quantity: 2 available