Xiao, Shuijing; Zeng, Xiaoning; Zeng, Guangxing An improved algorithm for deciding semi-definite polynomials. (English) Zbl 1312.13035 J. Algebra 417, 72-94 (2014). MSC: 13P99 65D99 13J30 PDFBibTeX XMLCite \textit{S. Xiao} et al., J. Algebra 417, 72--94 (2014; Zbl 1312.13035) Full Text: DOI
Zeng, Guangxing; Zeng, Xiaoning An effective decision method for semidefinite polynomials. (English) Zbl 1057.13020 J. Symb. Comput. 37, No. 1, 83-99 (2004). MSC: 13P99 68Q25 65H10 13B25 13J30 PDFBibTeX XMLCite \textit{G. Zeng} and \textit{X. Zeng}, J. Symb. Comput. 37, No. 1, 83--99 (2004; Zbl 1057.13020) Full Text: DOI