Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Libros - Springer Verlag GmbH - 9783211827949 - 16 de abril de 1998
En caso de que portada y título no coincidan, el título será el correcto

Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

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 todo

Mere med samme udgiver