Fortell venner om denne varen:
Bob F Caviness
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition Bob F Caviness
Pris
¥ 8.547
Bestillingsvarer
Forventes levert 28. nov - 8. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
| 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. |