RealCertify

MaRDI QIDQ39905swMATHFDO

Official website https://arxiv.org/abs/1805.02201

Described by source

• {\textsc{RealCertify}}: a Maple package for certifying non-negativity

Cited in

(15)

• RAGlib
• An SOS counterexample to an inequality of symmetric functions
• On exact Reznick, Hilbert-Artin and Putinar's representations
• ROSCoq
• Converging outer approximations to global attractors using semidefinite programming
• SONC optimization and exact nonnegativity certificates via second-order cone programming
• SPECTRA
• multivsos
• univsos
• Dual certificates and efficient rational sum-of-squares decompositions for polynomial optimization over compact sets
• A second order cone characterization for sums of nonnegative circuits
• In SDP Relaxations, Inaccurate Solvers Do Robust Optimization
• TSSOS
• SparseJSR
• Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

This page was built for software: RealCertify