
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 nonrational 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, realroot 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, multipoint evaluation and interpolation, real root isolation for both univariate and multivariate systems...

QROOT
 Referenced in 12 articles
[sw07929]
 QROOT is a rootfinding 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 nonArchimedian 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 ... NewtonRaphson starting point for a real root is obtained at a cost no higher ... points and, when the quartic has real roots, stable NewtonRaphson 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...

SturmTarski Theorem
 Referenced in 1 article
[sw32199]
 count distinct real roots, while the SturmTarksi 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...