An effective decision method for semidefinite polynomials (2004)

by Z Guangxing, Z Xiaoning
Venue:Journal of Symbolic Computation