There is no “Uspensky's method.”
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Quantifier elimination and the sign variation method for real root isolation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Fast algorithms for Taylor shifts and certain difference equations
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Polynomial real root isolation using approximate arithmetic
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Polynomial root finding using iterated Eigenvalue computation
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Interval arithmetic in cylindrical algebraic decomposition
Journal of Symbolic Computation
An iterated eigenvalue algorithm for approximating roots of univariate polynomials
Journal of Symbolic Computation - Computer algebra: Selected papers from ISSAC 2001
Polynomial real root isolation using Descarte's rule of signs
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Trees and jumps and real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Near-optimal parameterization of the intersection of quadrics
Proceedings of the nineteenth annual symposium on Computational geometry
Trees and jumps and real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Intersecting quadrics: an efficient and exact implementation
SCG '04 Proceedings of the twentieth annual symposium on Computational geometry
On the computation of an arrangement of quadrics in 3D
Computational Geometry: Theory and Applications - Special issue on the 19th European workshop on computational geometry - EuroCG 03
Almost tight recursion tree bounds for the Descartes method
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
High-performance implementations of the Descartes method
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Intersecting quadrics: an efficient and exact implementation
Computational Geometry: Theory and Applications
Journal of Computational and Applied Mathematics
Univariate polynomial real root isolation: continued fractions revisited
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Complete numerical isolation of real zeros in zero-dimensional triangular systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
On the complexity of real root isolation using continued fractions
Theoretical Computer Science
Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm
Journal of Symbolic Computation
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Real algebraic numbers and polynomial systems of small degree
Theoretical Computer Science
Isolating the real roots of the piecewise algebraic variety
Computers & Mathematics with Applications
Thirty years of Polynomial System Solving, and now?
Journal of Symbolic Computation
Complete numerical isolation of real roots in zero-dimensional triangular systems
Journal of Symbolic Computation
Fast approach for computing roots of polynomials using cubic clipping
Computer Aided Geometric Design
On the topology of planar algebraic curves
Proceedings of the twenty-fifth annual symposium on Computational geometry
Univariate Algebraic Kernel and Application to Arrangements
SEA '09 Proceedings of the 8th International Symposium on Experimental Algorithms
Isolating real roots of real polynomials
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Experimental evaluation and cross-benchmarking of univariate real solvers
Proceedings of the 2009 conference on Symbolic numeric computation
On the computation of an arrangement of quadrics in 3D
Computational Geometry: Theory and Applications - Special issue on the 19th European workshop on computational geometry - EuroCG 03
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Intersecting quadrics: an efficient and exact implementation
Computational Geometry: Theory and Applications
Computing minimum distance between two implicit algebraic surfaces
Computer-Aided Design
New bounds for the Descartes method
Journal of Symbolic Computation
A package for solving parametric polynomial systems
ACM Communications in Computer Algebra
Chebyshev interpolation polynomial-based tools for rigorous computing
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Random polynomials and expected complexity of bisection methods for real solving
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
The first rational Chebyshev knots
Journal of Symbolic Computation
A deterministic algorithm for isolating real roots of a real polynomial
Journal of Symbolic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
On solving systems of bivariate polynomials
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
An algorithm for addressing the real interval eigenvalue problem
Journal of Computational and Applied Mathematics
Efficient and accurate computation of upper bounds of approximation errors
Theoretical Computer Science
Efficient real root approximation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Univariate real root isolation in an extension field
Proceedings of the 36th international symposium on Symbolic and algebraic computation
A simple but exact and efficient algorithm for complex root isolation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
A generic algebraic kernel for non-linear geometric applications
Proceedings of the twenty-seventh annual symposium on Computational geometry
SqFreeEVAL: An (almost) optimal real-root isolation algorithm
Journal of Symbolic Computation
EXACUS: efficient and exact algorithms for curves and surfaces
ESA'05 Proceedings of the 13th annual European conference on Algorithms
The SARAG library: some algorithms in real algebraic geometry
ICMS'06 Proceedings of the Second international conference on Mathematical Software
A descartes algorithm for polynomials with bit-stream coefficients
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
The diamond operator: implementation of exact real algebraic numbers
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Inequalities on upper bounds for real polynomial roots
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
On the computing time of the continued fractions method
Journal of Symbolic Computation
Arrangement computation for planar algebraic curves
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Empirical study of an evaluation-based subdivision algorithm for complex root isolation
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Certified approximation of parametric space curves with cubic B-spline curves
Computer Aided Geometric Design
Advances on the continued fractions method using better estimations of positive root bounds
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Bounds for real roots and applications to orthogonal polynomials
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
A root isolation algorithm for sparse univariate polynomials
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
When Newton meets Descartes: a simple and fast algorithm to isolate the real roots of a polynomial
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Near optimal tree size bounds on a simple real root isolation algorithm
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Univariate real root isolation in multiple extension fields
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Improved bounds for the CF algorithm
Theoretical Computer Science
Hi-index | 0.01 |
This paper revisits an algorithm isolating the real roots of a univariate polynomial using Descartes' rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, Krandick.Our first contribution is a generic algorithm which enables one to describe all the known algorithms based on Descartes' rule of sign and the bisection strategy in a unified framework.Using that framework, a new algorithm is presented, which is optimal in terms of memory usage and as fast as both Collins and Akritas' algorithm and Krandick's variant, independently of the input polynomial. From this new algorithm, we derive an adaptive semi-numerical version, using multi-precision interval arithmetic.We finally show that these critical optimizations have important consequences since our new algorithm still works with huge polynomials, including orthogonal polynomials of degree 1000 and more, which were out of reach of previous methods.