Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi

Type: Article

Publication Date: 2008-07-20

Citations: 56

DOI: https://doi.org/10.1145/1390768.1390792

Similar Works

Action	Title	Year	Authors
+	Exact Certification in Global Polynomial Optimization Via Rationalizing Sums-Of-Squares	2009	Erich Kaltofen
+	Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients	2011	Erich Kaltofen Bin Li Zhengfeng Yang Lihong Zhi
+	Facial reduction for exact polynomial sum of squares decompositions	2018	Santiago Laplagne
+	Facial reduction for exact polynomial sum of squares decompositions	2018	Santiago Laplagne
+	Topics in exact precision mathematical programming	2010	William J. Cook Daniel E. Steffy
+ PDF Chat	Facial reduction for exact polynomial sum of squares decomposition	2019	Santiago Laplagne
+	Certifying solutions to overdetermined and singular polynomial systems over Q	2014	Tulay Ayyildiz Akoglu Jonathan D. Hauenstein Ágnes Szántó
+	Certifying solutions to overdetermined and singular polynomial systems over Q	2014	Tulay Ayyildiz Akoglu Jonathan D. Hauenstein Ágnes Szántó
+ PDF Chat	On exact Reznick, Hilbert-Artin and Putinar's representations	2021	Victor Magron Mohab Safey El Din
+	A Computational Status Update for Exact Rational Mixed Integer Programming	2021	Leon Eifler Ambros Gleixner
+	Nearly Optimal Universal Polynomial Factorization and Root-Finding	2013	John McNamee Victor Y. Pan
+	Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions	2012	Feng Guo Erich Kaltofen Lihong Zhi
+ PDF Chat	A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations	2016	Érik Martin-Dorel Pierre Le Roux
+	The complexity of accurate floating point computation	2003	James Demmel
+	Rational Dual Certificates for Weighted Sums-of-Squares Polynomials with Boundable Bit Size	2023	Maria M. Davis Dávid Papp
+	RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries.	2021	Mridul Aanjaneya Jay P. Lim Santosh Nagarakatte
+	Beyond Worst-Case Analysis for Root Isolation Algorithms	2022	Alperen A. Ergür Josué Tonelli-Cueto Elias Tsigaridas
+ PDF Chat	A computational status update for exact rational mixed integer programming	2022	Leon Eifler Ambros Gleixner
+	Counting solutions of a polynomial system locally and exactly	2023	Ruben Becker Michael Sagraloff
+	(Spine title: Contributions to Polynomial System Solvers) (Thesis format: Monograph)	2007	Yuzhen Xie

Works That Cite This (42)

Action	Title	Year	Authors
+	Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients	2012	Min Wu Zhengfeng Yang
+ PDF Chat	Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets	2022	Maria M. Davis Dávid Papp
+ PDF Chat	Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems	2013	Min Wu Zhengfeng Yang Wang Lin
+	Positive polynomials and sums of squares	2008	Murray Marshall
+	SDPTools: High Precision SDP Solver in Maple	2011	Feng Guo
+	Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients	2011	Erich Kaltofen Bin Li Zhengfeng Yang Lihong Zhi
+	A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions	2009	Erich Kaltofen Zhengfeng Yang Lihong Zhi
+	Approximate GCDs of polynomials and sparse SOS relaxations	2008	Bin Li Jiawang Nie Lihong Zhi
+ PDF Chat	On the Complexity of Computing Real Radicals of Polynomial Systems	2018	Mohab Safey El Din Zhi-Hong Yang Lihong Zhi
+ PDF Chat	Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions	2010	Mohab Safey El Din Lihong Zhi

Works Cited by This (27)

Action	Title	Year	Authors
+	Fraction-free matrix factors: new forms for LU and QR factors	2008	Wenqin Zhou David J. Jeffrey
+	Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones	1999	J.F. Sturm
+	Global Optimization with Polynomials and the Problem of Moments	2001	Jean B. Lasserre
+ PDF Chat	Global minimization of rational functions and the nearest GCDs	2006	Jiawang Nie James Demmel Ming Gu
+	Sharp estimates for triangular sets	2004	Xavier Dahan Éric Schost
+	Structured Perturbations Part I: Normwise Distances	2003	Siegfried M. Rump
+	Approximate GCDs of polynomials and SOS relaxation	2007	Bin Li Jiawang Nie Lihong Zhi
+ PDF Chat	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms	2007	Erich Kaltofen Zhengfeng Yang Lihong Zhi
+	A Macaulay 2 package for computing sum of squares decompositions of polynomials with rational coefficients	2007	Helfried Peyrl Pablo A. Parrilo
+	Numerical optimization in hybrid symbolic-numeric computation	2007	Lihong Zhi