Abstract:In this paper, we propose a symbolic-numeric algorithm to count the number of solutions of a zero-dimensional square polynomial system within a local region. We show that the algorithm succeeds under the condition that the region is sufficiently small and well-isolating for a k-fold solution z of the system. In our analysis, we derive a bound on the size of the region that guarantees success. We further argue that this size depends on local parameters such as the norm and multiplicity of z as well as the distances between z and all other solutions. Efficiency of our method stems from the fact that we reduce the problem of counting the roots of the original system to the problem of solving a truncated system of degree k. In particular, if the multiplicity k of z is small compared to the total degrees of the original polynomials, our method considerably improves upon known complete and certified methods. We see a series of applications of our approach. When combined with a numerical solver in the fashion of an a posteriori certification step, we obtain a certified and reliable method for solving polynomial systems while profiting both from the efficiency of the numerical algorithm and the reliability of the symbolic approach. An alternative application results from incorporating our algorithm as inclusion predicate into an elimination method. For the special case of bivariate systems, we experimentally show that this approach leads to a significant improvement over an existing state-of-the-art elimination method.

New simultaneous methods for finding all zeros of a polynomial

Jacobi-free and Complex-Free Method for Finding Simultaneously All Zeros of Polynomials Having Only Real Zeros

A Parallel Algorithm For Finding All The Roots Of A Polynomial

A Unified Convergence Theory for Newton-Type Methods for Zeros of Nonlinear Operators in Banach Spaces

A solution of polynomial equations

Parallel computation of real solving bivariate polynomial systems by zero-matching method

Convergence Analysis of a Modified Weierstrass Method for the Simultaneous Determination of Polynomial Zeros

Aberth's Method for the Parallel Iterative Finding of Polynomial Zeros

Newton Algorithms Via Control Liapunov Functions for Polynomial Zero Finding

An Uni ed Convergence Theory for Newton's Type Methods for Zeros of Nonlinear Operators in Banach spaces

ON THE CONVERGENT ITERATION METHOD OF ORDER TWO FOR FINDING ZEROS OF THE DERIVATIVE

Quadratically convergent multiple roots finding method without derivatives

On convergence of nourein iterations for simultaneous finding all zeros of a polynomial

Error analysis of a new transformation for multiple zeros finding free from derivative evaluations

FINDING ALL REAL SOLUTIONS OF POLYNOMIAL EQUATIONS

A significant improvement on Newton's interative method

Convergence ball of a new fourth-order method for finding a zero of the derivative

Counting solutions of a polynomial system locally and exactly

An Extended Newton-Type Method In R And Polynomiography Via Different Iterative Methods

On the local convergence of Ehrlich method for numerical computation of polynomial zeros

Two-step Newton's method for deflation-one singular zeros of analytic systems