{"product_id":"quantifier-elimination-and-cylindrical-algebraic-decomposition-von-bob-f-caviness-jeremy-r-johnson-hrsg","title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","description":"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.\nThis 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783211827949\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783211827949","offer_id":39426102198365,"sku":"9783211827949","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e0e46592-b76c-4ceb-8744-ecfd64e9335b.jpg?v=1756442531","url":"https:\/\/shop.autorenwelt.de\/products\/quantifier-elimination-and-cylindrical-algebraic-decomposition-von-bob-f-caviness-jeremy-r-johnson-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}