Real Root Isolation of Regular Chains

DOI10.1007/978-3-662-43799-5_4zbMath1336.65079OpenAlexW1502087103MaRDI QIDQ2799549

François Boulier, Marc Moreno Maza, Changbo Chen, François Lemaire

Publication date: 12 April 2016

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43799-5_4

zbMATH Keywords

numerical examplespolynomial systemreal rootalgorithm \textsf{RealRootIsolate}zero-dimensional squarefree regular chain

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Numerical computation of roots of polynomial equations (65H04)

Related Items (5)

A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure ⋮ On Isolating Roots in a Multiple Field Extension ⋮ Bounding the number of limit cycles for a polynomial Liénard system by using regular chains ⋮ Clustering complex zeros of triangular systems of polynomials

Uses Software

• Maple
• RegularChains
• ISOLATE

Cites Work

• ISOLATE
• Implementations of a new theorem for computing bounds for positive roots of polynomials
• Solving zero-dimensional systems through the rational univariate representation
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Efficient isolation of polynomial's real roots.
• Interval arithmetic in cylindrical algebraic decomposition
• An algorithm for isolating the real solutions of semi-algebraic systems
• Towards faster real algebraic numbers
• Real solution isolation using interval arithmetic

This page was built for publication: Real Root Isolation of Regular Chains