1. Monotone control systems;Angeli, David;IEEE Trans. Autom. Control,2003
2. Über die Zerlegung definiter Funktionen in Quadrate;Artin, Emil;Abh. Math. Semin. Univ. Hamb.,1927
3. A new algorithm to find a point in every cell defined by a family of polynomials;Basu, Saugata;Quantifier elimination and cylindrical algebraic decomposition,1998
4. [4] Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, 10, Springer, 2006
5. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins, George E.;ATFL 2nd GI Conf. Kaiserslautern,1975