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