
Sostools
 Referenced in 270 articles
[sw00891]
 used to specify and solve sum of squares polynomial problems using a very simple, flexible...

NCSOStools
 Referenced in 17 articles
[sw06920]
 constructing and solving sum of Hermitian squares (with commutators) programs for polynomials in NC variables ... theoretical underpinning of the sum of Hermitian squares (with commutators) programs and provides a gentle...

SOSOPT
 Referenced in 11 articles
[sw13407]
 toolbox for formulating and solving SumofSquares (SOS) polynomial optimizations. This document briefly describes...

SOS.m2
 Referenced in 7 articles
[sw27255]
 Macaulay2 package for computing sum of squares decompositions of polynomials with rational coefficients. In recent ... technique for computing sum of squares (SOS) decompositions of nonnegative polynomials. Due to the nature...

univsos
 Referenced in 3 articles
[sw28193]
 tool for Rational Sums of Squares Decompositions of Univariate Nonnegative Polynomials. univsos is a Maple ... computation of sums of squares (SOS) decompositions of univariate nonnegative polynomials with rational coefficients ... relies on sums of squares approximation (via semidefinite programming) of perturbed positive polynomials and square...

SumsOfSquares
 Referenced in 1 article
[sw33287]
 Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods ... features a data type for sumsofsquares polynomials, support for external semidefinite programming solvers...

multivsos
 Referenced in 2 articles
[sw28192]
 tool for Rational Sums of Squares Decompositions of Multivariate Nonnegative Polynomials. multivsos is a Maple ... computation of sums of squares (SOS) decompositions of multivariate nonnegative polynomials with rational coefficients...

POS3POLY
 Referenced in 3 articles
[sw09847]
 with positive polynomials. Positive polynomials, relaxed to sumofsquares in the multivariate case ... library which can work with positive polynomials as variables in a convex optimization problem...

POEM
 Referenced in 2 articles
[sw25733]
 certificate for nonnegativity of polynomials independent of sums of squares, which were developed by Timo...

RealCertify
 Referenced in 3 articles
[sw28191]
 over semialgebraic domains defined by polynomial constraints in Q[X] is a classical algorithmic ... tackles this decision problem by computing sum of squares certificates of nonnegativity for inputs...

BFComp
 Referenced in 3 articles
[sw18654]
 BFComp, an automated framework based on SumOfSquares (SOS) optimization and δdecidability over ... designed to provide tight bounds on the squared output errors between systems whenever possible ... also presents workarounds for systems with nonpolynomial vector fields, which are not amenable...

ACETAF
 Referenced in 7 articles
[sw00014]
 ACETAF: A software package for computing validated bounds...

BARON
 Referenced in 311 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 110 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 355 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 144 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

Coq
 Referenced in 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 197 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DEA
 Referenced in 242 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...