TY  - JOUR
AU  - Manuel Kauers
TI  - How To Use Cylindrical Algebraic Decomposition
JO  - Séminaire lotharingien de combinatoire
PY  - 2011-2012
VL  - 65
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/
ID  - SLC_2011-2012_65_a0
ER  -