使用Griffiths-Dwork方法进行有理函数的创造性插值
摘要：创造性的逐项计算算法计算满足带参数的多重积分的线性微分方程。我们描述了格里菲斯-德沃克方法在有理函数的创造性逐项算法版本中的精确和基本的算法。这导致了对微分方程系数的阶数和次数的界限，并且是关于变量数量简单指数复杂度的第一个复杂性结果。算法的一个重要特点是它不需要计算证书。该方法通过原型实现得到了证明。
作者：Alin Bostan (INRIA Saclay - Ile de France), Pierre Lairez (INRIA Saclay - Ile de France), Bruno Salvy (Inria Grenoble Rh^one-Alpes / LIP Laboratoire de l'Informatique du Parall''elisme)
论文ID：1301.4313
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-06-12