• 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 Sum-of-Squares (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 sums-of-squares 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 sum-of-squares 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 semi-algebraic domains defined by polynomial constraints in Q[X] is a classical algorithmic ... tackles this decision problem by computing sum of squares certificates of non-negativity for inputs...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • BFComp, an automated framework based on Sum-Of-Squares (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 non-polynomial 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...