Zeng Guangxing Zeng Xiaoning An effective decision method for semidefinite polynomials. 83-99 2004 37 J. Symb. Comput. 1 http://dx.doi.org/10.1016/S0747-7171(03)00073-7 db/journals/jsc/jsc37.html#GuangxingX04