Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4584668 | Journal of Algebra | 2014 | 23 Pages |
Abstract
In this paper, a new algorithm is presented for deciding the semi-definiteness of multivariate polynomials with coefficients in a computable ordered field, which admits an effective method of finding an isolating set for every non-zero univariate polynomial. This algorithm is an improvement of the method presented in Ref. [24]. The technique in this paper is to compute triangular decompositions of polynomial systems into regular chains.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Shuijing Xiao, Xiaoning Zeng, Guangxing Zeng,