SOS.m2
From MaRDI portal
Software:38973
No author found.
Source code repository: https://github.com/diegcif/SOSm2
Related Items (8)
A heuristic method for certifying isolated zeros of polynomial systems ⋮ Computing sum of squares decompositions with rational coefficients ⋮ Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars ⋮ Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients ⋮ A convex polynomial that is not sos-convex ⋮ Sums of squares over totally real fields are rational sums of squares ⋮ Sums of Hermitian squares and the BMV conjecture
This page was built for software: SOS.m2
