论文信息 - An algorithm for sums of squares of real polynomials - 字舞流文

An algorithm for sums of squares of real polynomials

V. Powers | T. Wörmann

[1] Keith R. Matthews,et al. Elementary Linear Algebra , 1998 .

[2] B. Reznick,et al. Sums of squares of real polynomials , 1995 .

[3] John F. Canny. Improved Algorithms for Sign Determination and Existential Quantifier Elimination , 1993, Comput. J..

[4] J. Renegar. Recent Progress on the Complexity of the Decision Problem for the Reals , 1990, Discrete and Computational Geometry.

[5] Dima Grigoriev,et al. Solving Systems of Polynomial Inequalities in Subexponential Time , 1988, J. Symb. Comput..

[6] M-F Roy,et al. Géométrie algébrique réelle , 1987 .

[7] Ihrer Grenzgebiete,et al. Ergebnisse der Mathematik und ihrer Grenzgebiete , 1975, Sums of Independent Random Variables.