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)

• 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