RealCertify
From MaRDI portal
Software:39905
swMATH28191MaRDI QIDQ39905FDOQ39905
Author name not available (Why is that?)
Cited In (8)
- On exact Reznick, Hilbert-Artin and Putinar's representations
- An SOS counterexample to an inequality of symmetric functions
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
- Converging outer approximations to global attractors using semidefinite programming
- Dual Certificates and Efficient Rational Sum-of-Squares Decompositions for Polynomial Optimization over Compact Sets
- SONC optimization and exact nonnegativity certificates via second-order cone programming
- In SDP Relaxations, Inaccurate Solvers Do Robust Optimization
- A second order cone characterization for sums of nonnegative circuits
This page was built for software: RealCertify
