Joachim Steinbach Proving Polynomials Positive. 191-202 1992 conf/fsttcs/1992 FSTTCS db/conf/fsttcs/fsttcs92.html#Steinbach92 http://dx.doi.org/10.1007/3-540-56287-7_105