The following pages link to SOS.m2 (Q38973):
Displaying 8 items.
- Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients (Q654030) (← links)
- A convex polynomial that is not sos-convex (Q715094) (← links)
- Sums of Hermitian squares and the BMV conjecture (Q1012666) (← links)
- A heuristic method for certifying isolated zeros of polynomial systems (Q1634514) (← links)
- Computing sum of squares decompositions with rational coefficients (Q2378506) (← links)
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
- Sums of squares over totally real fields are rational sums of squares (Q3617579) (← links)
- Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars (Q5301618) (← links)
