Geodesic
How To Use Cylindrical Algebraic Decomposition
Séminaire lotharingien de combinatoire, Tome 65 (2011-2012) 
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/
@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

Voir la notice de l'acte provenant de la source Séminaire Lotharingien de Combinatoire website

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.