
Janet
 Referenced in 33 articles
[sw07776]
 term over position” and ”position over term” orderings in the polynomial case. Four involutive criteria...

ProbView
 Referenced in 27 articles
[sw09438]
 computed in polynomial time, queries in the positive fragment of the probabilistic relational algebra have...

Bertini
 Referenced in 204 articles
[sw06683]
 Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using totaldegree start ... numerical irreducible decomposition. Treats positivedimensional solutions by computing witness sets. Has automatic differentiation which...

POS3POLY
 Referenced in 3 articles
[sw09847]
 MATLAB preprocessor for optimization with positive polynomials. Positive polynomials, relaxed to sumofsquares ... library which can work with positive polynomials as variables in a convex optimization problem ... here the POS3POLY library, which transforms polynomial positivity into positive semidefinite constraints, thus enabling ... trigonometric, real and hybrid. The positivity of the polynomials can be global or only...

univsos
 Referenced in 3 articles
[sw28193]
 squares (SOS) decompositions of univariate nonnegative polynomials with rational coefficients. The library includes two distinct ... root isolation, quadratic under approximations of positive polynomials and squarefree decomposition. univsos2, which relies ... root isolation of perturbed positive polynomials and squarefree decomposition. This algorithm requires PARI/GP. univsos3 ... approximation (via semidefinite programming) of perturbed positive polynomials and squarefree decomposition. This algorithm requires...

NAG4M2
 Referenced in 13 articles
[sw08785]
 continuation to solve systems of polynomial equations and describe positivedimensional complex algebraic varieties...

SDPpack
 Referenced in 51 articles
[sw04333]
 space of block diagonal, symmetric, positive semidefinite matrices. Applications arise in many areas, especially robust ... approximations to NPhard graph problems in polynomial time. Semidefinite programs are best solved...

multivsos
 Referenced in 2 articles
[sw28192]
 compute weighted SOS decompositions for polynomials positive over basic compact semialgebraic sets...

PHClab
 Referenced in 14 articles
[sw09668]
 Octave to solve a list of polynomial systems. PHClab also interfaces to the numerical irreducible ... tools to represent, factor, and intersect positive dimensional solution sets...

ORBIT
 Referenced in 30 articles
[sw20552]
 functions using fewer function evaluations than the polynomial models considered by present techniques. Approximation guarantees ... linear interpolation. The RBF property of conditional positive definiteness yields a natural method for adding...

MemHyb
 Referenced in 15 articles
[sw25194]
 powerful sequence encoding scheme by fusing position specific scoring matrix and split amino acid composition ... effectively discriminate membrane protein types. Linear, polynomial, and RBF basedSVM with Bose, Chaudhuri, Hocquenghem...

DynamicPrevariety
 Referenced in 3 articles
[sw19962]
 polyhedral methods to compute positive dimensional solution sets of polynomial systems. In particular, pretropisms...

galeDuality
 Referenced in 1 article
[sw18222]
 theoretic isomorphism exists between the positive solutions of any polynomial system and the solutions...

Polynomials
 Referenced in 3 articles
[sw32226]
 comparison of polynomials where we provide standard estimations like absolute positiveness or the more recent ... lifted to strongly normalizing (monotone) orders over polynomials. Our formalization was performed as part...

ASYS
 Referenced in 1 article
[sw00054]
 special facilities for working with polynomial ideals of positive dimension corresponding to algebraic systems with...

na21
 Referenced in 1 article
[sw11504]
 coupling it with a positivity checker for polynomials on intervals developed herein. This new code...

Phcmaple
 Referenced in 5 articles
[sw13452]
 using polynomial homotopy continuation, which was recently extended with facilities to deal with positive dimensional...

MOTABAR
 Referenced in 2 articles
[sw12739]
 Taylor polynomial of the function at a moving position of interest. When measurement errors ... limit cases, including local or piecewise polynomial regression, Lagrange interpolation, inverse distance weighting, and nearest...

RFSA
 Referenced in 14 articles
[sw03315]
 RPNI try to identify prefixes of positive learning examples which give rise to identical residual ... representations. We prove that RFSA are not polynomially characterizable. However, we design a new learning...

Bertini.m2
 Referenced in 8 articles
[sw08784]
 variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface ... approximate solutions to zerodimensional systems and positivedimensional systems, test numerically whether a point...