• ISOLATE

  • Referenced in 218 articles [sw07741]
  • Efficient isolation of polynomial’s real roots. This paper revisits an algorithm isolating the real...
  • MPFI

  • Referenced in 43 articles [sw00597]
  • given: robotics, isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations ... approximation of real roots with arbitrary accuracy...
  • insulate

  • Referenced in 24 articles [sw21729]
  • require finding and counting real roots of polynomials over an algebraic extension ... numbers. Various algebraic approaches for this real root finding and counting problem have been developed ... that avoids finding and counting real roots of polynomials with non-rational coefficients. We achieve ... computing the topology of a single real algebraic curve. Even this prototypical implementation without optimizations...
  • INTBIS

  • Referenced in 31 articles [sw00442]
  • portable software package for finding all real roots of a system of nonlinear equations within...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • systems of nonlinear equations (including unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple ... zeros (simple and clusters) interval arithmetic for real and complex data including vectors and matrices...
  • Lgp

  • Referenced in 16 articles [sw33766]
  • Root isolation for bivariate polynomial systems with local generic position method. A local generic position ... method is proposed to isolate the real roots of a bivariate polynomial system ... same as that of the corresponding roots of T(X)=0. This representation leads ... stable algorithm to isolate the real roots...
  • COPRIN

  • Referenced in 14 articles [sw04826]
  • Minimal and maximal real roots of parametric polynomials using interval analysis In this paper ... problems such as finding the extremal real roots for the set of polynomials and determining ... that all the polynomials have their root real part in a given range. Realistic application...
  • ANewDsc

  • Referenced in 11 articles [sw19984]
  • Computing real roots of real polynomials dots and now for real! Very recent work introduces ... algorithm, denoted ANewDsc, for isolating the real roots of a univariate real polynomial. The method ... test intervals for the existence of roots, Newton iteration to speed up convergence against clusters ... currently serves as the default real root solver in Maple. We describe crucial design changes...
  • SqFreeEVAL

  • Referenced in 11 articles [sw07421]
  • SqFreeEVAL: An (almost) optimal real-root isolation algorithm. Let f be a univariate polynomial with ... widely used for isolating the real roots of f in a given interval. In this ... benchmark problem of isolating all real roots of an integer polynomial f of degree...
  • na20

  • Referenced in 78 articles [sw11505]
  • digits of the roots of a polynomial with complex coefficients. The real and the imaginary...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • integration, composition, greatest common divisor, real-root solving, etc.) for polynomials in Bernstein form...
  • BPAS

  • Referenced in 9 articles [sw08399]
  • multiplication, multi-point evaluation and interpolation, real root isolation for both univariate and multivariate systems...
  • QROOT

  • Referenced in 14 articles [sw07929]
  • QROOT is a root-finding software package developed by M.L. Chaudhry, Department of Mathematics ... package finds real or complex roots of characteristic equations which may be of polynomial (with...
  • SLV

  • Referenced in 3 articles [sw20783]
  • software for real root isolation. The problem of isolating the real roots of a univariate ... objective is to isolate the real roots of f, that is to compute intervals with ... endpoints that contain one and only one root of f. SLV is an open source ... that provides functions for isolating the real roots of univariate polynomials with integer coefficients...
  • Algorithm 954

  • Referenced in 3 articles [sw20214]
  • efficient algorithm for obtaining all roots of general real cubic and quartic polynomials. Both ... Newton-Raphson starting point for a real root is obtained at a cost no higher ... points and, when the quartic has real roots, stable Newton-Raphson iterations give ... extreme real roots. The remaining roots follow by composite deflation to a cubic...
  • MAS

  • Referenced in 5 articles [sw08442]
  • algorithms for real quantifier elimination, parametric real root counting, and for computing in (noncommutative) polynomial...
  • SARAG

  • Referenced in 3 articles [sw00826]
  • resultants, linear algebra, gcd computation, real roots counting, real roots isolation, sign determination, Thom encodings ... topology of curves over non-Archimedian real closed fields...
  • rootsur.lib

  • Referenced in 3 articles [sw10984]
  • library for counting the number of real roots of a univariate polynomial. Routines for bounding ... counting the number of real roots of a univariate polynomial, by means of several different ... other two compute the actual number of roots of the polynomial. There are several wrapper ... univariate. References: Basu, Pollack, Roy, ”Algorithms in Real Algebraic Geometry”, Springer...
  • logcf

  • Referenced in 3 articles [sw06355]
  • tool that computes exact real root isolation of a univariate polynomial. The algorithm is described ... paper logcf: An efficient tool for real root isolation . The used algorithm is based...