Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - Bøger - Springer Verlag GmbH - 9783211827949 - 16. april 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Bob F Caviness

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 16. april 1998
ISBN13 9783211827949
Forlag Springer Verlag GmbH
Antal sider 431
Mål 170 × 244 × 23 mm   ·   721 g
Sprog Tysk  
Klipper/redaktør Caviness, Bob F.
Klipper/redaktør Johnson, Jeremy R.

Vis alle

Mere med Bob F Caviness