%0 Journal Article
%A Manuel Kauers
%T How To Use Cylindrical Algebraic Decomposition
%J Séminaire lotharingien de combinatoire
%D 2011-2012
%V 65
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/
%F SLC_2011-2012_65_a0