解析函数涉及的方程组的近似解的有效认证
摘要：开发了一种算法，用于证明由单变量解析函数构建的方程组的非奇异解的近似值。这些算法基于评估输入解析函数的基本数据的预言存在。一种认证的方法是基于α理论，而另一种是基于Krawczyk对Newton迭代的推广。我们证明了D-有限函数存在必要的预言，并使用我们在SageMath中的软件实现比较了这两种算法方法。
作者：Michael Burr, Kisun Lee, Anton Leykin
论文ID：1901.10384
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-07-22