涉及解析函数的方程组近似解的有效验证
符号计算
2019-07-22 v2
摘要
我们开发了用于验证由单变量解析函数构成的方阵方程组非奇异解近似值的算法。这些算法基于存在用于评估输入解析函数基本数据的预言机。一种验证方法基于 alpha 理论，另一种基于 Krawczyk 对牛顿迭代的推广。我们证明对 D-有限函数存在必要的预言机，并使用我们在 SageMath 中的软件实现比较了这两种算法途径。
引用
@article{arxiv.1901.10384,
title = {Effective certification of approximate solutions to systems of equations involving analytic functions},
author = {Michael Burr and Kisun Lee and Anton Leykin},
journal= {arXiv preprint arXiv:1901.10384},
year = {2019}
}
备注
16 pages