13 citations · 63 across the 21 of their papers we have counts for
Showing math.OCShow all
3 papers · 1 filter
math.OC2026
Convergence rate of the moment-SOS hierarchy for univariate polynomial optimization
Didier Henrion, Mohab Safey El Din
We study the convergence rate of the moment-SOS (sum-of-squares) hierarchy for polynomial optimization problems (POPs) on a bounded subset of the real line described by arbitrary p…
math.OC2024
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions
Didier Henrion, Jared Miller, Mohab Safey El Din
Two subsets of a given set are path-disconnected if they lie in different connected components of the larger set. Verification of path-disconnectedness is essential in proving the…
math.OC2015
Exact algorithms for linear matrix inequalities
Didier Henrion, Simone Naldi, Mohab Safey El Din
Let be a linear matrix, or pencil, generated by given symmetric matrices of size with rational entries. The set of real v…