swMATH28191MaRDI QIDQ39905FDOQ39905
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1805.02201
Cited In (15)
- Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
- 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
- RAGlib
- ROSCoq
- SPECTRA
- multivsos
- univsos
- Converging outer approximations to global attractors using semidefinite programming
- TSSOS
- SparseJSR
- 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
