Validating numerical semidefinite programming solvers for polynomial invariants

Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones

J.F. Sturm · Optimization methods & software · 1999 · 7.5K citations

Mathematical Programming, Numerical Analysis, Engineering +18

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.1K citations

Programming Language Theory, Actual Computations, Declarative Programming +10

Semidefinite Programming

Lieven Vandenberghe, Stephen Boyd · SIAM Review · 1996 · 4K citations

Mathematical Programming, Engineering, Affine Combination +7

Global Optimization with Polynomials and the Problem of Moments

Jean B. Lasserre · SIAM Journal on Optimization · 2001 · 2.5K citations

Mathematical Programming, Conic Optimization, Polynomial Inequalities +11

Semidefinite programming relaxations for semialgebraic problems

Pablo A. Parrilo · Mathematical Programming · 2003 · 1.6K citations

Mathematical Programming, Engineering, Semi-infinite Optimization +4