Quantifier Elimination and Cylindrical Algebraic Decomposition
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…
Mehr
CHF 103.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Johnson, Jeremy R. (Hrsg.)
- ISBN: 978-3-7091-9459-1
- EAN: 9783709194591
- Produktnummer: 37298339
- Verlag: Springer Vienna
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 431 S.
- Plattform: PDF
- Auflage: 1998
2 weitere Werke von Bob F. (Hrsg.) Caviness:
Bewertungen
Anmelden