Certified numerical real root isolation for bivariate nonlinear systems

DOI10.1016/j.jsc.2022.04.005zbMath1505.65201OpenAlexW4224135665MaRDI QIDQ2156364

Junyi Wen, Bingwei Zhang, Jin-San Cheng~

Publication date: 18 July 2022

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2022.04.005

zbMATH Keywords

real root isolationuniqueness and existencebivariate analytic functionopposite monotone system

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10)

Related Items (1)

Certified simultaneous isotopic approximation of pairs of curves via subdivision

Uses Software

• intpakX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homotopy continuation method for solving systems of nonlinear and polynomial equations
• Solving bivariate systems using rational univariate representations
• Root isolation of zero-dimensional polynomial systems with linear univariate representation
• A generic position based method for real root isolation of zero-dimensional polynomial systems
• On continued fraction expansion of real roots of polynomial systems, complexity and condition numbers
• On the complexity of isolating real roots and computing with certainty the topological degree
• Real root isolation for exp-log-arctan functions
• Subdivision methods for solving polynomial equations
• Complete numerical isolation of real roots in zero-dimensional triangular systems
• On the asymptotic and practical complexity of solving bivariate systems over the reals
• Mean value forms in interval analysis
• Algorithmic error estimation for approximate solutions of nonlinear systems of equations
• Computation of the solutions of nonlinear polynomial systems
• Safe starting regions by fixed points and tightening
• Plotting planar implicit curves and its applications
• Investigation of a subdivision based algorithm for solving systems of polynomial equations.
• A new deflation method for verifying the isolated singular zeros of polynomial systems
• On the complexity of computing with planar algebraic curves
• Parallel computation of real solving bivariate polynomial systems by zero-matching method
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Real solution isolation using interval arithmetic
• Discriminants, resultants, and multidimensional determinants
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
• Root isolation for bivariate polynomial systems with local generic position method
• Real root isolation for tame elementary functions
• Geometric critical point analysis of lossless power system models
• Interval Arithmetic in Maple with intpakX
• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• A Test for Existence of Solutions to Nonlinear Systems
• The Complexity of an Adaptive Subdivision Method for Approximating Real Curves
• Certified Numerical Real Root Isolation for Bivariate Polynomial Systems
• Plantinga-Vegter Algorithm takes Average Polynomial Time
• Condition numbers for the cube. I: Univariate polynomials and hypersurfaces
• An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
• Computer Algebra in Scientific Computing
• Computer Algebra in Scientific Computing

This page was built for publication: Certified numerical real root isolation for bivariate nonlinear systems