Quantifier Elimination and Cylindrical Algebraic Decomposition
- Indbinding:
- Paperback
- Sideantal:
- 431
- Udgivet:
- 16. april 1998
- Udgave:
- 11998
- Størrelse:
- 244x170x23 mm.
- Vægt:
- 860 g.
Leveringstid:
8-11 hverdage
Forventet levering: 27. november 2024
Beskrivelse af Quantifier Elimination and Cylindrical Algebraic Decomposition
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.
Brugerbedømmelser af Quantifier Elimination and Cylindrical Algebraic Decomposition
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Quantifier Elimination and Cylindrical Algebraic Decomposition findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621