Quantifier Elimination and Cylindrical Algebraic Decomposition
Produktnummer:
18217834c0d6b049e58cb856b37011c2cd
| Themengebiete: | Algebraic Computation Symbolic Computation Symbolisches Rechnen Variable algorithms calculus complexity geometry proof |
|---|---|
| Veröffentlichungsdatum: | 16.04.1998 |
| EAN: | 9783211827949 |
| Sprache: | Englisch |
| Seitenzahl: | 431 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Caviness, Bob F. Johnson, Jeremy R. |
| Verlag: | Springer Wien |
Produktinformationen "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 paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen