Pastāsti draugiem par šo preci:
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Bob F Caviness Softcover reprint of the original 1st ed. 1998 edition
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1998. gada 16. aprīlis |
| ISBN13 | 9783211827949 |
| Izdevēji | Springer Verlag GmbH |
| Lapas | 431 |
| Izmēri | 170 × 244 × 23 mm · 721 g |
| Valoda | Vācu |
| Redaktors | Caviness, Bob F. |
| Redaktors | Johnson, Jeremy R. |
Vairāk no Bob F Caviness
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Bob F Caviness ( piem., Paperback Book )