Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions

DOI10.1145/3326229.3326235zbMath1467.65049arXiv1901.10384OpenAlexW2956992526MaRDI QIDQ5121116

Anton Leykin, Kisun Lee, Michael A. Burr

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://arxiv.org/abs/1901.10384

zbMATH Keywords

Krawczyk operatorinterval arithmeticholonomic functionscertification\(D\)-finite functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of roots of polynomial equations (65H04)

Related Items (1)

Certification for polynomial systems via square subsystems

Uses Software

• Maple
• Mathematica
• SageMath
• NumGfun
• alphaCertified

This page was built for publication: Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions