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.

A solution of polynomial equations

A Parallel Algorithm For Finding All The Roots Of A Polynomial

FINDING ALL REAL SOLUTIONS OF POLYNOMIAL EQUATIONS

A systematic approach to Diophantine equations: two thousand solved examples

A systematic approach to Diophantine equations: open problems

A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities

Solution of Polynomial Systems Derived from Differential Equations

Quadratic functions as solutions of polynomial equations

The Method of Polynomial Particular Solutions for Solving Ordinary Differential Equations

Solution of Polynomial Equations with Nested Radicals

Uniformly constructing a series of explicit exact solutions to nonlinear equations in mathematical physics

A Method of Solving Certain Nonlinear Diophantine Equations

New simultaneous methods for finding all zeros of a polynomial

Counting solutions of a polynomial system locally and exactly

A Novel Method to Find All Physical Solutions of Constrained Chemical Engineering Models in Polynomial Equations

Some more proofs from the Book: solvability and insolvability of equations in radicals

Enhancing Cubic Polynomial Solutions: A Comprehensive Analysis and Iterative Refinement Strategy in Response to the Versatility of Cubic Equations of State

The Method of Polynomial Particular Solutions for Solving Nonlinear Poisson-Type Equations

A Stein Equation Approach for Solutions to the Diophantine Equations

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

Algebraic solutions of linear differential equations: an arithmetic approach