An algorithm for sums of squares of real polynomials

Journal of Pure and Applied Algebra

Volumn 127, Issue 1, 1998, Pages 99-104

  Powers, Victoria ^a   Wörmann, Thorsten ^b  

^a EMORY UNIVERSITY   (United States)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032064831     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)83827-3     Document Type: Article

References (6)

1. [1] J. Bochnak, M. Coste and M.-F. Roy, Géométrie Algébrique Réelle, Ergebnisse der Mathematik und ihrer Grenzgebiete (3. Folge) Vol. 12 (Springer, Berlin, 1987).
2. [2] J. Canny, Improved algorithms for sign determination and existential quantifier elimination, Comput. J. 36 (1993) 409-418.
3. [3] M.D. Choi and T.Y. Lam, An old question of Hilbert, in: G. Orzech, Ed., Proc. Conf. on Quadratic Forms Queen's Papers on Pure and Applied Mathematics, Vol. 46 (1977) 385-405.
4. [4] M.D. Choi, T.Y. Lam and B. Reznick, Sums of squares of real polynomials, Symp. on Pure Math., Vol. 58, American Mathematical Society (Providence, RI, 1995) 103-126.
5. [5] D. Grigor'ev and N. Vorobjov, Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comput. 5 (1988) 37-64.
6. [6] J. Renegar, Recent progress on the complexity of the decision problem for the reals, Discrete and Computational Geometry: Papers from the DIMACS Special Year DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 6 (American Mathematical Society, Providence, RI, 1991) 287-308.