Real Root Isolation of Regular Chains

DOI10.1007/978-3-662-43799-5_4zbMath1336.65079MaRDI 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 examples; polynomial system; real root; algorithm \textsf{RealRootIsolate}; zero-dimensional squarefree regular chain

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65H10: Numerical computation of solutions to systems of equations

65H04: Numerical computation of roots of polynomial equations

Related Items

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

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