Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients-Reference-Cited by-同舟云学术

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients

Published:2012-01 Issue:1 Volume:47 Page:1-15
ISSN:0747-7171
Container-title:Journal of Symbolic Computation
language:en
Short-container-title:Journal of Symbolic Computation

Author:

Kaltofen Erich L.,Li Bin,Yang Zhengfeng,Zhi Lihong

Publisher

Elsevier BV

Subject

Computational Mathematics,Algebra and Number Theory

Reference30 articles.

1. Über die Zerlegung definiter Funktionen in Quadrate;Artin;Abhandlungen Math. Seminar Univ. Hamburg,1927

2. Real solving for positive dimensional systems;Aubry;J. Symbolic Comput.,2002

3. Becker, E., Powers, V., Wörmann, T., 2000. Deciding positivity of real polynomials. In: Delzell (2000), pp. 251–272, URL: http://www.mathcs.emory.edu/~vicki/pub/psd.pdf.

4. Delzell, C.N., 1980. A constructive, continuous solution to Hilbert’s 17th problem, and other results in semi-algebraic geometry. Ph.D. Thesis, Stanford University.

5. Real Algebraic Geometry and Ordered Structures,2000

Cited by 42 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time;Applied and Computational Harmonic Analysis;2024-11

2. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients;SIAM Journal on Optimization;2023-01-24

3. Computing Sparse Fourier Sum of Squares on Finite Abelian Groups in Quasi-Linear Time1;2023

4. Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets;SIAM Journal on Optimization;2022-10-04

5. Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients;Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation;2022-07-04