Software
TSSOS is a Julia package for sparse polynomial optimization.ManiSDP aims to solve the low-rank linear semidefinite program (SDP) via manifold optimization. Here, low-rank means the SDP admits a low-rank optimal solution.
NCTSSOS is a Julia package for sparse noncommutative polynomial optimization.
SparseJSR is a Julia package for computing joint spectral radii based on sparse SOS decompositions.
ChordalGraph is an extension of the Julia package Graphs to handle chordal graphs.
Codes and experimental material
- Randomly generated sum-of-rational-functions optimization problems used in the paper Exploiting Sign Symmetries in Minimizing Sums of Rational Functions
- Randomly generated nc polynomials used in the paper Exploiting term sparsity in Noncommutative Polynomial Optimization
- Random matrices and random control systems used in the paper SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
random control systems for Table III
random control systems for Table IV
- Max-Cut instances used in the paper CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization
- Randomly generated polynomials used in the paper TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity
poly_type2: randomly generated polynomials of type II for unconstrained polynomial optimization
cpoly_type2: randomly generated polynomials of type II for constrained polynomial optimization
Bistability is the code for the numerical experiments in the paper Bistability of Sequestration Networks.