Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 16 de abril de 1998 |
| ISBN13 | 9783211827949 |
| Editores | Springer Verlag GmbH |
| Páginas | 431 |
| Dimensiones | 170 × 244 × 23 mm · 721 g |
| Lengua | Alemán |
| Editor | Caviness, Bob F. |
| Editor | Johnson, Jeremy R. |
Mas por Bob F Caviness
Mostrar todoMere med samme udgiver
Ver todo de Bob F Caviness ( Ej. Paperback Book )