yuanchenyang / SumOfSquares.pyView external linksLinks
Python implementation of Sum-of-Squares optimization built on picos
☆38Oct 5, 2024Updated last year
Alternatives and similar repositories for SumOfSquares.py
Users that are interested in SumOfSquares.py are comparing it to the libraries listed below
Sorting:
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆73Jan 28, 2026Updated 2 weeks ago
- Stabilizable Nonlinear Dynamics Learning☆23Oct 10, 2019Updated 6 years ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 4 years ago
- A MathOptInterface.jl interface to the MOSEK solver☆29Jul 30, 2025Updated 6 months ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Dec 22, 2025Updated last month
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- ☆16Aug 27, 2017Updated 8 years ago
- Gradient descent algorithms for LQG control☆14Feb 20, 2022Updated 3 years ago
- ☆18May 16, 2023Updated 2 years ago
- ☆28Dec 22, 2024Updated last year
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆58Jun 4, 2018Updated 7 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆175Jun 2, 2025Updated 8 months ago
- Toolkit for learning controllers based on robust control Lyapunov barrier functions☆180Jul 10, 2024Updated last year
- Planner Developer Tools☆29Sep 24, 2024Updated last year
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- DM i AI 2022☆10Oct 4, 2022Updated 3 years ago
- Codes for Linear and Nonlinear Disambiguation Optimization (LANDO)☆32Jan 15, 2022Updated 4 years ago
- Sum of Squares Programming for Julia☆126Nov 20, 2025Updated 2 months ago
- Course notes for ECSE 506: Stochastic Control and Decision Theory☆39Updated this week
- Codes for designing Neural Contraction Metrics (NCMs)☆34Jul 29, 2020Updated 5 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- Inverse Kinematics Robot Controller for Kerbal☆10Jun 5, 2020Updated 5 years ago
- ☆10Jan 27, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Visualize linear programming at https://lpviz.net☆31Jan 20, 2026Updated 3 weeks ago
- A decoding algorithm for quantum error correcting codes.☆16Feb 8, 2026Updated last week
- Reinforcement Learning for Fault-Tolerant Quantum Circuit Discovery☆16Jan 16, 2026Updated last month
- Motion Planning Hyperparameter Optimization☆12Nov 2, 2022Updated 3 years ago
- Kinodyanmic Parallel Accelerated eXpansion☆13Sep 9, 2024Updated last year
- Uncertainty sets for nonlinear dynamical systems☆10Nov 7, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- ☆11Mar 18, 2025Updated 10 months ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- quantum information toolbox☆22Nov 26, 2025Updated 2 months ago
- OneClickToQIF consists of a set of templates and macros, which are used to export data from your spreadsheets to QIF format, as used by p…☆15Apr 23, 2017Updated 8 years ago
- A toolbox of motion planning primitives☆10Jun 8, 2023Updated 2 years ago
- Newton-type accelerated proximal gradient method in Julia☆12May 13, 2019Updated 6 years ago
- Computation of binomial confidence intervals that achieve exact coverage.☆14Apr 23, 2025Updated 9 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week