
Fortæl dine venner om denne vare:
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition
Bob F Caviness
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
Eller
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition
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. |