Computer algebra: symbolic and algebraic computation (2nd ed.)
Some tests of generalized bisection
ACM Transactions on Mathematical Software (TOMS)
Polynomial and matrix computations (vol. 1): fundamental algorithms
Polynomial and matrix computations (vol. 1): fundamental algorithms
Complexity and real computation
Complexity and real computation
Condition number analysis for sparse polynomial systems
FoCM '97 Selected papers of a conference on Foundations of computational mathematics
Estimations for the separation number of a polynomial system
Journal of Symbolic Computation - Special issue: validated numerical methods and computer algebra
A Global Bisection Algorithm for Computing the Zeros of Polynomials in the Complex Plane
Journal of the ACM (JACM)
Finding a cluster of zeros of univariate polynomials
Journal of Complexity
Kronecker's and Newton's approaches to solving: a first comparison
Journal of Complexity
Accuracy and Stability of Numerical Algorithms
Accuracy and Stability of Numerical Algorithms
Locating all the zeros of an analytic function in one complex variable
Journal of Computational and Applied Mathematics
On the complexity of exclusion algorithms for optimization
Journal of Complexity
Algebraic Curves and Surfaces in 3D Computer Vision
Proceedings of the 5th IMA Conference on the Mathematics of Surfaces
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Efficient isolation of polynomial's 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
On Location and Approximation of Clusters of Zeros of Analytic Functions
Foundations of Computational Mathematics
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
A new exclusion test for finding the global minimum
Journal of Computational and Applied Mathematics
Online identification of the rotor time constant of an induction machine
ACC'09 Proceedings of the 2009 conference on American Control Conference
Hi-index | 0.00 |
We state precise results on the complexity of a classical bisection-exclusion method to locate zeros of univariate analytic functions contained in a square. The output of this algorithm is a list of squares containing all the zeros. It is also a robust method to locate clusters of zeros. We show that the global complexity depends on the following quantities: the size of the square, the desired precision, the number of clusters of zeros in the square, the distance between the clusters and the global behavior of the analytic function and its derivatives. We also prove that, closed to a cluster of zeros, the complexity depends only on the number of zeros inside the cluster. In particular, for a polynomial which has d simple roots separated by a distance greater than sep, we will prove the bisection-exclusion algorithm needs O(d3 log(d/sep)) tests to isolate the d roots and the number of squares suspected to contain a zero is bounded by 4d. Moreover, always in the polynomial case, we will see the arithmetic complexity can be reduced to O(d2(log d)2 log(d/sep)) using ⌈log d⌉ steps of the Graeffe iteration.