Fortell venner om denne varen:
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition
Bob F Caviness
Pris
zł 204,90
Bestillingsvarer
Forventes levert 4. - 12. aug
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 16. april 1998 |
| ISBN13 | 9783211827949 |
| Utgivere | Springer Verlag GmbH |
| Antall sider | 431 |
| Mål | 170 × 244 × 23 mm · 721 g |
| Språk | Tysk |
| Redaktør | Caviness, Bob F. |
| Redaktør | Johnson, Jeremy R. |
