ISOLATE
Efficient isolation of polynomial’s real roots. 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.
Keywords for this software
References in zbMATH (referenced in 197 articles , 1 standard article )
Showing results 41 to 60 of 197.
Sorted by year (- Wang, Jihua: Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis (2016)
- Bouzidi, Yacine; Lazard, Sylvain; Pouget, Marc; Rouillier, Fabrice: Separating linear forms and rational univariate representations of bivariate systems (2015)
- Cheng, Jin-San; Jin, Kai: A generic position based method for real root isolation of zero-dimensional polynomial systems (2015)
- Chen, Xiao-Diao; Ma, Weiyin; Ye, Yangtian: A rational cubic clipping method for computing real roots of a polynomial (2015)
- Falbel, E.; Koseleff, P.-V.; Rouillier, F.: Representations of fundamental groups of 3-manifolds into (\mathrmPGL(3,\mathbbC)): exact computations in low complexity (2015)
- Kerber, Michael; Sagraloff, Michael: Root refinement for real polynomials using quadratic interval refinement (2015)
- Lebreton, Romain: Relaxed Hensel lifting of triangular sets (2015)
- Boulier, François; Chen, Changbo; Lemaire, François; Maza, Marc Moreno: Real root isolation of regular chains (2014)
- Galeani, Sergio; Henrion, Didier; Jacquemard, Alain; Zaccarian, Luca: Design of Marx generators as a structured eigenvalue assignment (2014)
- Sagraloff, Michael: On the complexity of the Descartes method when using approximate arithmetic (2014)
- Schröcker, Hans-Peter; Weber, Matthias J.: Guaranteed collision detection with toleranced motions (2014)
- Shen, Fei; Wu, Wenyuan; Xia, Bican: Real root isolation of polynomial equations based on hybrid computation (2014)
- Xiao, Shuijing; Zeng, Guangxing: Determination of the limits for multivariate rational functions (2014)
- Berberich, Eric; Emeliyanenko, Pavel; Kobel, Alexander; Sagraloff, Michael: Exact symbolic-numeric computation of planar algebraic curves (2013)
- Gao, Xiao-Shan; Li, Wei; Yuan, Chun-Ming: Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form (2013)
- Herrero, María Isabel; Jeronimo, Gabriela; Sabia, Juan: Affine solution sets of sparse polynomial systems (2013)
- Lasserre, Jean-Bernard; Laurent, Monique; Mourrain, Bernard; Rostalski, Philipp; Trébuchet, Philippe: Moment matrices, border bases and real radical computation (2013)
- Poteaux, Adrien; Schost, Éric: On the complexity of computing with zero-dimensional triangular sets (2013)
- Poteaux, Adrien; Schost, Éric: Modular composition modulo triangular sets and applications (2013)
- Qin, Xiaolin; Feng, Yong; Chen, Jingwei; Zhang, Jingzhong: Parallel computation of real solving bivariate polynomial systems by zero-matching method (2013)