Certification of Approximate Roots of Exact Polynomial Systems
From MaRDI portal
Publication:2952062
DOI10.1090/noti1440zbMath1352.65139OpenAlexW2531227011MaRDI QIDQ2952062
Publication date: 29 December 2016
Published in: Notices of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/noti1440
Polynomials, factorization in commutative rings (13P05) Numerical computation of roots of polynomial equations (65H04)
Uses Software