Abstract:A new algorithm for real root isolation of zero-dimensional nonsingular square polynomial systems based on hybrid computation is presented in this paper. First, approximate the (complex) roots of the given polynomial equations via homotopy continuation method. Then, for each approximate root, an initial box relying on the Kantorovich theorem is constructed, which contains the corresponding accurate root. Finally, the Krawczyk interval iteration with interval arithmetic is applied to the initial boxes so as to check whether or not the corresponding approximate roots are real and to obtain the real root isolation boxes. Moreover, an empirical construction of initial box is provided for speeding-up the computation in practice. Our experiments on many benchmarks show that the new hybrid method is very efficient. The method can find all real roots of any given zero-dimensional nonsingular square polynomial systems provided that the homotopy continuation method can find all complex roots of the equations.

Isolating the real roots of the piecewise algebraic variety

Interval iterative algorithm for computing the piecewise algebraic variety

Real Zeros of the Zero-Dimensional Parametric Piecewise Algebraic Variety

Algebra-Geometry of Piecewise Algebraic Varieties

The Connectedness Locus of a Family of Real Biquadratic Polynomials.

Piecewise interlacing zeros of polynomials

Real Piecewise Algebraic Variety

Real piecewise algebraic curves

The Correspondence Between Multivariate Spline Ideals and Piecewise Algebraic Varieties

Decomposing Algebraic Varieties.

Algorithms for classifying zero-dimensional parametric piecewise algebraic variety

A New Method for Real Root Isolation of Univariate Polynomials

Recent Researches on Multivariate Spline and Piecewise Algebraic Variety

Real Root Isolation of Spline Functions

Some Researches on Real Piecewise Algebraic Curves

On isolation of singular zeros of multivariate analytic systems

Nöther-type Theorem of Piecewise Algebraic Curves on Triangulation

A Unified Approach to Polynomial Sequences with Only Real Zeros

Real Root Isolation of Polynomial Equations Based on Hybrid Computation

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Intersection Points Algorithm for Piecewise Algebraic Curves Based on Groebner Bases