GitHub repository: oxfordcontrol/SOSTOOLS
Primary language: MATLAB
Description: A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs