• ISOLATE

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

  • Referenced in 38 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 20 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...
  • 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...
  • INTLAB

  • Referenced in 384 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...
  • na20

  • Referenced in 70 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...
  • ANewDsc

  • Referenced in 5 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...
  • BPAS

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

  • Referenced in 12 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...
  • 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...
  • 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...
  • SLV

  • Referenced in 2 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 2 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...
  • REACH

  • Referenced in 4 articles [sw07733]
  • decidable by manipulations in number theory, real root isolation, and quantifier elimination. Finally the decision...
  • rootsur.lib

  • Referenced in 2 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...
  • Sturm-Tarski Theorem

  • Referenced in 1 article [sw32199]
  • count distinct real roots, while the Sturm-Tarksi theorem forms the basis for Tarski ... classic quantifier elimination for real closed field...
  • RS3

  • Referenced in 1 article [sw29453]
  • libraries: RS (unique contributor) : Real Roots isolation for algebraic systems with rational coefficients with...