Pinned Repositories
BetaNumber
ChordalGraph
ChordalGraph is an extension of the Julia package Graphs to handle chordal graphs.
jiewang
ManiSDP-matlab
ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.
MiniSOC
MiniSOC computes (approximately) optimal second-order cone representations for a weighted geometric mean inequality.
NCTSSOS
NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.
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.
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.
TSSOS
A sparse polynomial optimization tool based on the moment-SOS hierarchy.
wangjie212's Repositories
wangjie212/TSSOS
A sparse polynomial optimization tool based on the moment-SOS hierarchy.
wangjie212/ManiSDP-matlab
ManiSDP aims to efficiently solve low-rank semidefinite programs via manifold optimization.
wangjie212/NCTSSOS
NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.
wangjie212/ChordalGraph
ChordalGraph is an extension of the Julia package Graphs to handle chordal graphs.
wangjie212/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.
wangjie212/PolyOPF
PolyOPF generates the sparse polynomial formulization (represented by the support data and the coefficient data) for AC-OPF problems.
wangjie212/MiniSOC
MiniSOC computes (approximately) optimal second-order cone representations for a weighted geometric mean inequality.
wangjie212/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.
wangjie212/BetaNumber
wangjie212/jiewang
wangjie212/MutuallyUnbiasedBasis
wangjie212/PMOptimization
wangjie212/SONCSOCP
SONCSOCP is an uncontrained sparse polynomial optimization tool based on SONC decompositions.
wangjie212/SOSprograms
wangjie212/SparseJSR
SparseJSR is an efficient tool to compute joint spetral radii based on sparse SOS decompositions.