• 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 total-degree start ... numerical irreducible decomposition. Treats positive-dimensional 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 sum-of-squares ... 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 square-free decomposition. univsos2, which relies ... root isolation of perturbed positive polynomials and square-free decomposition. This algorithm requires PARI/GP. univsos3 ... approximation (via semidefinite programming) of perturbed positive polynomials and square-free decomposition. This algorithm requires...
  • NAG4M2

  • Referenced in 13 articles [sw08785]
  • continuation to solve systems of polynomial equations and describe positive-dimensional 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 NP-hard 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 based-SVM 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 zero-dimensional systems and positive-dimensional systems, test numerically whether a point...