Geodesic
How To Use Cylindrical Algebraic Decomposition
Séminaire lotharingien de combinatoire, Tome 65 (2011-2012)
Cet article a éte moissonné depuis la source Séminaire Lotharingien de Combinatoire website

Voir la notice de l'acte

We take some items from a textbook on inequalities and show how to prove them with computer algebra using the Cylindrical Algebraic Decomposition algorithm. This is an example collection for standard applications of this algorithm, intended as a guide for potential users. 

@article{SLC_2011-2012_65_a0,
     author = {Manuel Kauers},
     title = {How {To} {Use} {Cylindrical} {Algebraic} {Decomposition}},
     journal = {S\'eminaire lotharingien de combinatoire},
     year = {2011-2012},
     volume = {65},
     url = {http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/}
}
TY  - JOUR
AU  - Manuel Kauers
TI  - How To Use Cylindrical Algebraic Decomposition
JO  - Séminaire lotharingien de combinatoire
PY  - 2011-2012
VL  - 65
UR  - http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/
ID  - SLC_2011-2012_65_a0
ER  - 
%0 Journal Article
%A Manuel Kauers
%T How To Use Cylindrical Algebraic Decomposition
%J Séminaire lotharingien de combinatoire
%D 2011-2012
%V 65
%U http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/
%F SLC_2011-2012_65_a0
Manuel Kauers. How To Use Cylindrical Algebraic Decomposition. Séminaire lotharingien de combinatoire, Tome 65 (2011-2012). http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/