Verified error bounds for real solutions of positive-dimensional polynomial systems
DOI10.1145/2465506.2465951zbMATH Open1360.65156OpenAlexW2065754750WikidataQ130986737 ScholiaQ130986737MaRDI QIDQ2963259FDOQ2963259
Authors: Zhengfeng Yang, Lihong Zhi, Yijun Zhu 
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
Recommendations
- Validating the completeness of the real solution set of a system of polynomial equations
- Verified error bounds for isolated singular solutions of polynomial systems
- Real solving for positive dimensional systems.
- Computing real witness points of positive dimensional polynomial systems
- Verified Solutions of Systems of Nonlinear Polynomial Equations
Numerical computation of solutions to systems of equations (65H10) Algorithms with automatic result verification (65G20)
Cited In (8)
- Validating the completeness of the real solution set of a system of polynomial equations
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\)
- Title not available (Why is that?)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
- Computing real witness points of positive dimensional polynomial systems
- Verified error bounds for singular solutions of nonlinear systems
- Extension of Hoffman’s Error Bound to Polynomial Systems
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator
This page was built for publication: Verified error bounds for real solutions of positive-dimensional polynomial systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963259)
