Quantifier Elimination and Cylindrical Algebraic Decomposition
- Indbinding:
- Paperback
- Sideantal:
- 431
- Udgivet:
- 16. april 1998
- Udgave:
- 11998
- Størrelse:
- 244x170x23 mm.
- Vægt:
- 860 g.
- 8-11 hverdage.
- 9. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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