• Kronecker

• Referenced in 117 articles [sw00495]
• system for solving systems of polynomial equations and inequations. It is a prototype resulting...
• DISCOVERER

• Referenced in 56 articles [sw07719]
• consists of polynomial equations and polynomial inequalities. Algorithms for quantifier elimination of real closed fields ... work of complete discrimination systems of polynomials [33,31],, we invented new theories and algorithms...
• RAGlib

• Referenced in 65 articles [sw00774]
• library for real solving polynomial systems of equations and inequalities. RAGlib is a Maple package ... real solutions of polynomial systems of equations and inequalities such as testing the emptiness ... RAGlib Maple package allows to solve polynomial systems of equations/inequalities over the reals. Provided functionalities...
• Epsilon

• Referenced in 44 articles [sw00244]
• extension fields, solve systems of polynomial equations and inequations, and handle and prove geometric theorems...
• GloptiPoly

• Referenced in 327 articles [sw04343]
• after some transformation) of the GPM with polynomial data.The approach is similar to that used ... semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose associated monotone...
• Normaliz

• Referenced in 172 articles [sw00630]
• system of linear homogeneous Diophantine equations, inequalities and congruences or a binomial ideal. Normaliz computes ... series and the Hilbert (or Ehrhart) (quasi) polynomial under a Z-grading (for example ... weighted) Ehrhart series and Lebesgue integrals of polynomials over rational polytopes via NmzIntegrate, a description ... lattice under consideration by a system of inequalities, equations and congruences...
• raSAT

• Referenced in 8 articles [sw15206]
• bounded quantification on conjunction of polynomial inequalities. It combines miniSAT 2.2 and background theories, which...
• CIZJP

• Referenced in 4 articles [sw41354]
• conjectured inequalities for zeros of Jacobi polynomials. Inequalities for the largest zero of Jacobi polynomials...
• SymProve3

• Referenced in 2 articles [sw09242]
• mechanical algorithm for determining a polynomial inequality to be true or not. Firstly, the original ... equivalently reduced to a class of polynomial inequalities in a special form with symmetric decomposition ... transferred into a set of polynomial inequalities only with $n-2$ variables by making ... applied to prove 209 elementary multivariate polynomial inequalities from the on-line book [{it Nguyen...
• MHS

• Referenced in 4 articles [sw31594]
• region cut out by finitely many inequalities between polynomials with rational coefficients. Although periods...
• TDDS

• Referenced in 7 articles [sw31513]
• polynomially nonlinear differential system, which in addition to equations may contain inequations, this package computes...
• ROLMIP

• Referenced in 19 articles [sw21158]
• depend polynomially on the parameters, being the polynomials considered to be homogeneous. Such optimization problems ... that are usually defined as Linear Matrix Inequalities (LMIs). The main objective of ROLMIP...
• Geomsolvex

• Referenced in 2 articles [sw15919]
• free alternative for solving polynomial systems of equations and inequations. It computes a lifting fiber ... Lecerf, Salvy - A Gröbner free alternative for polynomial system solving]). Its current implementation in Mathemagix...
• QUINOPT

• Referenced in 1 article [sw34786]
• solve optimisation problems with polynomial quadratic integral inequality constraints. Below is a quick guide...
• rifsimp

• Referenced in 2 articles [sw25281]
• rework overdetermined systems of polynomially nonlinear PDEs or ODEs and inequations to a more useful...
• GenPSAT

• Referenced in 4 articles [sw24009]
• consists in deciding the satisfiability of linear inequalities involving probabilities of classical propositional formulas. GenPSAT ... complete and we present a polynomial reduction to Mixed-Integer Programming. Capitalizing on this translation...
• T-algebra

• Referenced in 1 article [sw34177]
• linear equations, inequalities and linear equation systems; operations with monomials and polynomials. T-algebra implements...
• GpoSolver

• Referenced in 2 articles [sw15713]
• Matlab/C++ toolbox for global polynomial optimization. Global polynomial optimization can be a powerful tool when ... problems is based on convex linear matrix inequality (LMI) relaxations. Software implementations of this approach ... very easy when it comes to modelling polynomial problems. However, when using these toolboxes, Matlab...
• NLCertify

• Referenced in 4 articles [sw08786]
• package for handling formal certification of nonlinear inequalities involving transcendental multivariate functions. The tool exploits ... semialgebraic functions obtained by composition of polynomials with some basic operations (including the square root ... well as maxplus estimators. Univariate minimax polynomials are provided using an interface with the Sollya ... NLCertify package solves successfully non-trivial inequalities from the Flyspeck project (essentially tight inequalities, involving...