The following pages link to RealCertify (Q39905):
Displayed 8 items.
- An SOS counterexample to an inequality of symmetric functions (Q2022461) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Converging outer approximations to global attractors using semidefinite programming (Q2665706) (← links)
- SONC optimization and exact nonnegativity certificates via second-order cone programming (Q2674014) (← links)
- Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets (Q5043282) (← links)
- A second order cone characterization for sums of nonnegative circuits (Q5146008) (← links)
- In SDP Relaxations, Inaccurate Solvers Do Robust Optimization (Q5233101) (← links)
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients (Q5883314) (← links)