Pages that link to "Item:Q4630308"
From MaRDI portal
The following pages link to R <scp>eal</scp> c <scp>ertify</scp> (Q4630308):
Displaying 8 items.
- RealCertify (Q39905) (← links)
- 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)
- 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)
