Certified Numerical Real Root Isolation for Bivariate Polynomial Systems
From MaRDI portal
Publication:5120479
DOI10.1145/3326229.3326237zbMath1467.65050MaRDI QIDQ5120479
Publication date: 10 September 2020
Published in: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3326229.3326237
bivariate polynomial system; real root isolation; uniqueness and existence; orthogonal monotone system
65H04: Numerical computation of roots of polynomial equations