CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
-
Updated
Nov 22, 2025 - MATLAB
CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
An open source first-order MATLAB solver for conic programs with row sparsity.
A sum-of-squares toolbox for stability analysis
MATLAB code with examples of SOS chordal decomposition for polynomial matrix inequalities with sparsity
Computing approximate optimal designs for multivariate polynomial regressions
Synthesizing and validating barrier certificates for unknown dynamical systems with latent states and polynomial dynamics using Bayesian inference
Code for the paper "The speed of traveling waves in a FKPP-Burgers system"
The code produces Stock price model in a discrete time line and Running sum-of-square returns
Code for the paper "Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization"
Using Sum-of-squares hierarchies to solve the Total Variation norm minimization
Add a description, image, and links to the sum-of-squares topic page so that developers can more easily learn about it.
To associate your repository with the sum-of-squares topic, visit your repo's landing page and select "manage topics."