Basu, S., et al <br/><br/>
Algorithms in real algebraic geometry 
S. Basu, et al 
 - Berlin  Springer  2003 
 - viii  602 
 - Algorithms & Computation in Mathematics 10 .
<br/><br/><label>ISBN: </label>9783540009733 
<br/><br/><label>Dewey Class. No.: </label>11.013+8.04  / BASU