Name
..
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
Sum-of-Squares Matrices.jl
Sums of Hermitian squares.jl
chordal_sparsity.jl
chordal_sparsity_with_domain.jl
goldsteinprice.jl
run_examples.jl
sos_decomposition.jl
sparse_polynomials.jl