- support polynomial optimization, sum-of-squares optimization, complex polynomial optimization, sums of rational functions optimization, polynomial matrix optimization
- exploiting quotient ring, correlative sparsity, term sparsity, sign symmetry
- strengthening moment relaxations
- computing local solutions