Software

• SDPSymmetryReduction.jl: Given an SDP in standard form, exploit its symmetry using the Jordan reduction method.

• FlagSOS.jl: Models flag sums-of-squares in various hierarchies and models, and exploits their symmetries.

Code for Papers

• Crossing number: Code for New lower bounds on crossing numbers of K(m,n) from semidefinite programming

• TreeSOS: Code for Getting to the Root of the Problem: Sums of Squares for Infinite Trees