From approximate factorization to root isolation
DOI10.1145/2465506.2465523zbMATH Open1360.68944OpenAlexW2069507832MaRDI QIDQ2963246FDOQ2963246
Authors: K. Mehlhorn, Michael Sagraloff, Pengming Wang 
Publication date: 10 February 2017
Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2465506.2465523
Recommendations
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition
- Bounds for polynomials on algebraic numbers and application to curve topology
- Accelerated approximation of the complex roots and factors of a univariate polynomial
- Computing real roots of real polynomials
- Efficient real root approximation
numerical algorithmscylindrical algebraic decompositionbit complexityroot isolationroot refinementcertified algorithms
Symbolic computation and algebraic computation (68W30) Analysis of algorithms (68W40) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Computational aspects of algebraic curves (14Q05) Numerical computation of roots of polynomial equations (65H04)
Cited In (15)
- On the Complexity of Reliable Root Approximation
- A simple but exact and efficient algorithm for complex root isolation
- A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration
- Certified complex root isolation via adaptive root separation bounds
- On the complexity of isolating real roots and computing with certainty the topological degree
- Root-neededness and approximations of neededness
- Accelerated approximation of the complex roots and factors of a univariate polynomial
- Title not available (Why is that?)
- Separating linear forms and rational univariate representations of bivariate systems
- Root refinement for real polynomials using quadratic interval refinement
- Computing real roots of real polynomials
- On the complexity of computing with planar algebraic curves
- On the complexity of the Descartes method when using approximate arithmetic
- Bounds for polynomials on algebraic numbers and application to curve topology
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition
This page was built for publication: From approximate factorization to root isolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963246)
