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
- RAGlib
- ROSCoq
- SPECTRA
- multivsos
- univsos
- Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
- TSSOS
- SparseJSR
- Converging outer approximations to global attractors using semidefinite programming
- 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
