wangjie212/MiniSOC

Stars
2
Language
Julia
License
MIT License
Created over 2 years ago
Updated about 2 years ago

wangjie212/MiniSOC

wangjie212

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

MiniSOC computes (approximately) optimal second-order cone representations for a weighted geometric mean inequality.

TSSOS

A sparse polynomial optimization tool based on the moment-SOS hierarchy.

ManiSDP-matlab

ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.

NCTSSOS

NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.

ChordalGraph

ChordalGraph is an extension of the Julia package Graphs to handle chordal graphs.

SparseDynamicSystem

SparseDynamicSystem computes region of attraction (ROA), maximum positively invariant set (MPI), global attractor (GA) for polynomial dynamic systems based on the sparsity adapted moment-SOS hierarchies.

PolyOPF

PolyOPF generates the sparse polynomial formulization (represented by the support data and the coefficient data) for AC-OPF problems.

QMBCertify

QMBCertify is a Julia package for certifying ground state properties of quantum many-body systems (currently supporting the 1d/2d (J1-J2) Heisenberg models) via the structured NPA hierarchy.