双变量有理函数创造性望远镜的复杂性
摘要：基于阿尔姆科维斯特和泽尔伯格的（微分）创造性变焦框架，本研究的长期目标是获得快速算法和实现来进行明确积分。我们的复杂性驱动方法是在方法中获得各种表达式的紧密度界。为了使问题更易处理，我们限制于二元有理函数。通过考虑这个受限制的输入类别，我们能够将创造性变焦的一般方法与众所周知的Hermite约减方法相结合。然后，我们使用我们的新方法来计算组合学中出现的有理幂级数的对角线。
作者：Alin Bostan, Shaoshi Chen, Fr''ed''eric Chyzak, Ziming Li
论文ID：1301.5045
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-01-23