Mohab Safey El Din: Testing Sign Conditions on a Multivariate Polynomial and Applications. Math. Comput. Sci. 1(1): 177-207 (2007)