SumOfSquares.jl
SumOfSquares.jl copied to clipboard
Implement Rational SOS decomposition
See section 3.1.6 of
Blekherman, G., Parrilo, P. A., & Thomas, R. R. (Eds.). Semidefinite optimization and convex algebraic geometry SIAM 2013