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

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

Cached

Download Links

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

Citations:

BibTeX

@MISC{Kaltofen_exactcertification,
    author = {Erich L. Kaltofen and Bin Li and Zhengfeng Yang and Lihong Zhi},
    title = {Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

581	S: Semidefinite programming - Vandenberghe, Boyd - 1996
495	Using SEDUMI 1.02, a Matlab toolbox for optimizations over symmetric cones - Sturm - 1999
72	Some concrete aspects of Hilbert’s 17th problem, volume 253 of Contemporary Mathematics - Reznick - 2000
56	Yalmip: a toolbox for modeling and optimization in MATLAB - Löfberg - 2004
51	SOSTOOLS: Sum of squares optimization toolbox for MATLAB. http://www.cds.caltech.edu/sostools - Prajna, Papachristodoulou, et al.
45	The computational complexity of simultaneous diophantine approximation - Lagarias - 1985
33	Detecting global optimality and extracting solutions in GloptiPoly - Henrion, Lasserre - 2005
22	Uniform denominators in Hilbert’s Seventeenth Problem - Reznick - 1995
11	Real solving for positive dimensional systems - Aubry, Rouillier, et al.
11	The Voronoi diagram of three lines - Everett, Lazard, et al.
8	Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing Sums-Of-Squares with Floating Point Scalars - Kaltofen, Li, et al. - 2008
8	Computing the global optimum of a multivariate polynomial over the reals - Din - 2008
7	Sums of polynomial squares over totally real fields are rational sums of squares - Hillar
6	Parrilo: A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients - Peyrl, A - 2007
6	A probabilistic algorithm for verifying matrix products using O(n 2 ) time and log 2 n + O(1) random bits - Tracy, Sinha - 1993
5	On sums of squares - Lax, Lax - 1978
3	The ratio between the Toeplitz and the unstructured condition number - Rump, Sekigawa - 2006
2	Deciding positivity of real polynomials - Becker, Powers, et al.
2	A constructive, continuous solution to Hilbert’s 17th problem, and other results in semi-algebraic geometry - Delzell - 1980
2	Global optimization: a model problem - Rump - 2006
1	The computational complexity of simultaneous diophantine approximation problems - C - 1985
1	A model problem for global optimization - Rump - 2009
1	URL: http://www-spiral.lip6.fr/ ∼safey/these safey.ps.gz - doctorat, Univ - 2001