Topic: "sum-of-squares"
2b-t/stereo-matching 📦
Stereo-image depth reconstruction with different matching costs and matching algorithms in Python using Numpy and Numba
Language: Python - Size: 6.43 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 59 - Forks: 8
ForeverHaibara/Triple-SOS
Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares proofs for Olympiad-level problems. Built on SymPy.
Language: Python - Size: 9.65 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 24 - Forks: 3
FHoltorf/MarkovBounds.jl
A Julia package for the computation of hard, theoretically guaranteed bounds on the moments of jump-diffusion processes with polynomial data
Language: Julia - Size: 8.07 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 15 - Forks: 0
lukem512/anova
Analysis of Variance (ANOVA)
Language: JavaScript - Size: 5.86 KB - Last synced at: 11 days ago - Pushed at: almost 8 years ago - Stars: 11 - Forks: 2
oxfordcontrol/SOSADMM
An open source first-order MATLAB solver for conic programs with row sparsity.
Language: Matlab - Size: 750 KB - Last synced at: 3 days ago - Pushed at: about 8 years ago - Stars: 11 - Forks: 6
iFR-ACSO/casos
CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
Language: MATLAB - Size: 14.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0
droste89/SOStab
A sum-of-squares toolbox for stability analysis
Language: MATLAB - Size: 332 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 1
aeroimperial-optimization/sos-chordal-decomposition-pmi
MATLAB code with examples of SOS chordal decomposition for polynomial matrix inequalities with sparsity
Language: MATLAB - Size: 503 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 3
Kiguli/PRoTECT
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
Language: Python - Size: 161 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 1
thery/twoSquare
A proof of Fermat's theorem on sum of two squares with mathcom using gaussian integers.
Language: Coq - Size: 135 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 1
MichaelSchneeberger/sosopt
SOSOpt is a Python library designed for solving sums-of-squares (SOS) optimization problems.
Language: Python - Size: 1.05 MB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
ydecastro/optimal-design-sum-of-squares
Computing approximate optimal designs for multivariate polynomial regressions
Language: MATLAB - Size: 250 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
Abhrankan-Chakrabarti/sum-of-squares-calculator
A Python tool for calculating the sum of squares of integers, useful for mathematical computations and analysis.
Language: Python - Size: 5.86 KB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
vaitybharati/P30.-Unsupervised-ML---K-Means-Clustering-Non-Hierarchical-Clustering-Univ.-
Unsupervised-ML---K-Means-Clustering-Non-Hierarchical-Clustering-Univ. Use Elbow Graph to find optimum number of clusters (K value) from K values range. The K-means algorithm aims to choose centroids that minimise the inertia, or within-cluster sum-of-squares criterion WCSS. Plot K values range vs WCSS to get Elbow graph for choosing K (no. of clusters)
Language: Jupyter Notebook - Size: 72.3 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
vaitybharati/Assignment-07-K-Means-Clustering-Airlines-
Assignment-07-K-Means-Clustering-Airlines. Perform clustering (K means clustering) for the airlines data to obtain optimum number of clusters. Draw the inferences from the clusters obtained. The file EastWestAirlinescontains information on passengers who belong to an airline’s frequent flier program. For each passenger the data include information on their mileage history and on different ways they accrued or spent miles in the last year. The goal is to try to identify clusters of passengers that have similar characteristics for the purpose of targeting different segments for different types of mileage offers.
Language: Jupyter Notebook - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
ydecastro/total-variation-sum-of-squares
Using Sum-of-squares hierarchies to solve the Total Variation norm minimization
Language: MATLAB - Size: 21.7 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
chemandante/Numeric
Calculating all decompositions of a natural number as a sum of 2, 3 or 4 squares
Language: Python - Size: 23.4 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
miscelleanous-projs/bigint-examples
Some BigInt usage examples in D
Language: D - Size: 103 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
jbramburger/FKPP-Burgers
Code for the paper "The speed of traveling waves in a FKPP-Burgers system"
Language: MATLAB - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1
jbramburger/Minimum-Wave-Speeds
Code for the paper "Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization"
Language: MATLAB - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 2
flsing/CSI2120
PROGRAMMING PARADIGMS
Language: Prolog - Size: 1.26 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
