Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Kirjat - Springer Verlag GmbH - 9783211827949 - torstai 16. huhtikuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Bob F Caviness

Hinta
Fr. 49,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 6. - 14. elo
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 16. huhtikuuta 1998
ISBN13 9783211827949
Tuottaja Springer Verlag GmbH
Sivujen määrä 431
Mitta 170 × 244 × 23 mm   ·   721 g
Kieli German  
Toimittaja Caviness, Bob F.
Toimittaja Johnson, Jeremy R.

Näytä kaikki

Lisää tuotteita Bob F Caviness