Basu, S. <br/><br/>
Algorithms in real algebraic geometry. 2nd. edition. 

 - Berlin  Springer  2006 
 - ix, 662p. 
 - Algorithms and Computation in Mathematics No. 10 .
<br/><br/><label>ISBN: </label>978-3-540-33098-1