Details:
Title  An effective decision method for semidefinite polynomials  Author(s)  Zeng Xiaoning, Guangxing Zeng  Type  Article in Journal  Abstract  The purpose of this paper is to present an effective method of deciding the semidefiniteness of multivariate polynomials with coefficients in a computable ordered field, which admits an effective method of finding an isolating set for every nonzero univariate polynomial. Based on this method, the decision of the semidefiniteness of a multivariate polynomial may be reduced to testing some resulted polynomials in fewer variables, of which the total degrees and the term numbers do not exceed those of the given polynomial. With the aid of the computer algebra system Maple, our method is used to solve several examples.  Keywords  semidfinite polynomial  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717103000737 
Language  English  Journal  Journal of Symbolic Computation  Volume  37  Number  1  Pages  83  99  Year  2004  Edition  0  Translation 
No  Refereed 
No 
