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

DOI10.1145/2465506.2465951MaRDI QIDQ2963259zbMATH OpenOpenAlexWikidataFDO

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

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)

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

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}\)
• Extension of Hoffman’s Error Bound to Polynomial Systems
• An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator
• Computing real witness points of positive dimensional polynomial systems
• 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
• scientific article; zbMATH DE number 2231504 (Why is no real title available?)

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)