Software

• SDPSymmetryReduction.jl: Julia package for automatic symmetry reduction of semidefinite programs using the Jordan reduction method.

• FlagSOS.jl: Extensible Julia package for fully symmetry-reduced flag sums-of-squares problems for different combinatorial structures.

• AugmentedMixing.jl: Julia implementation of the Augmented Mixing Method for semidefinite programs, computing high-accuracy primal-dual solutions via column updates.

Code for Papers

• AugmentedMixing.jl: Code for The Augmented Mixing Method: Computing High-Accuracy Primal-Dual Solutions to Large-Scale SDPs via Column Updates

• 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 Limits of Trees

• Ramsey: Code for Lower and Upper Bounds for Small Canonical and Ordered Ramsey Numbers