..
|
Noncommutative variables.ipynb
|
Polynomial_Optimization.ipynb
|
Sum-of-Squares Matrices.ipynb
|
motzkin.ipynb
|
.gitignore
|
Bound on Global Extremum.jl
|
Lyapunov Function Search.jl
|
Noncommutative variables.jl
|
Project.toml
|
SOS decomposition.jl
|
Stabilization of nonlinear systems.jl
|
Sum-of-Squares Matrices.jl
|
Sums of Hermitian squares.jl
|
Symmetry reduction.jl
|
Term sparsity.jl
|
all_examples.jl
|
chordal_sparsity.jl
|
chordal_sparsity_with_domain.jl
|
goldsteinprice.jl
|
run_examples.jl
|
sparse_polynomials.jl
|