1. On the theories of triangular sets;Aubry;J. Symbolic Comput.,1999
2. Algorithms in Real Algebraic Geometry;Basu,2003
3. Deciding Positivity of Real Polynomials, Real Algebraic Geometry and Ordered Fields;Becker,2000
4. Gröbner Bases: A Computational Approach to Commutative Algebra;Becker,1993
5. Real Algebraic Geometry;Bochnak,1998