Quantifier Elimination and Cylindrical Algebraic Decomposition

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
664,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9783211827949

Forlag:
Springer Verlag GmbH

Indbinding:
Paperback

Sideantal:
431

Udgivet:
16. April 1998

Udgave:
11998

Størrelse:
244x170x23 mm.

Vægt:
860 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 18. Oktober 2024

Normalpris

664,95 kr. + Fragt
~~664,95 kr.~~

Medlemspris

614,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Andre købte også..

Find lignende bøger

Bogen Quantifier Elimination and Cylindrical Algebraic Decomposition findes i følgende kategorier:

Business og læring > Computer og IT

Quantifier Elimination and Cylindrical Algebraic Decomposition - Bog

Beskrivelse af Quantifier Elimination and Cylindrical Algebraic Decomposition

Brugerbedømmelser af Quantifier Elimination and Cylindrical Algebraic Decomposition

Gør som tusindvis af andre bogelskere