Fortæl dine venner om denne vare:
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Bob F Caviness Softcover reprint of the original 1st ed. 1998 edition
Pris
DKK 449
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation
Bob F Caviness
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.
450 pages, 16 black & white illustrations
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 16. april 1998 |
| ISBN13 | 9783211827949 |
| Forlag | Springer Verlag GmbH |
| Antal sider | 431 |
| Mål | 170 × 244 × 23 mm · 721 g |
| Sprog | Tysk |
| Klipper/redaktør | Caviness, Bob F. |
| Klipper/redaktør | Johnson, Jeremy R. |