PIETOOLS
PIETOOLS is a free MATLAB toolbox for manipulating Partial Integral (PI) operators and solving Linear PI Inequalities (LPIs) which are convex optimization problems involving PI variables and PI constraints. 
SOSTOOLS400
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs.