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