Basu, Saugata Algorithms in real algebraic geometry Basu, Saugata - 2nd ed. - Springer 2006 Dewey Class. No.: 516.35 / T06 BAS.P