Verified error bounds for real solutions of positive-dimensional polynomial systems

DOI10.1145/2465506.2465951zbMath1360.65156OpenAlexW2065754750WikidataQ130986737 ScholiaQ130986737MaRDI QIDQ2963259

Yi-jun Zhu, Lihong Zhi, Zhengfeng Yang

Publication date: 10 February 2017

Published in: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2465506.2465951

zbMATH Keywords

verificationerror boundreal solutionspositive-dimensional polynomial systems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Algorithms with automatic result verification (65G20)

Related Items (5)

Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) ⋮ VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities ⋮ Verified error bounds for singular solutions of nonlinear systems ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ Computing real witness points of positive dimensional polynomial systems

This page was built for publication: Verified error bounds for real solutions of positive-dimensional polynomial systems