Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Bøker - Springer Verlag GmbH - 9783211827949 - 16. april 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Bob F Caviness

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

Pris
¥ 8.547

Bestillingsvarer

Forventes levert 28. nov - 8. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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.

Vis alle

Mer med Bob F Caviness