非完整约束系统方法研究特殊函数恒等式
摘要：将Zeilberger的特殊函数恒等式方法扩展到非全纳情况。因此，创造性折叠法则被应用于包含Stirling数或Bernoulli数、不完全Gamma函数或多对数的确定和或积分，这些在全纳框架下没有被涵盖。基本思想是考虑Ore代数中适当理想的维度。这统一了几个早期扩展，并为以前无法实现的计算代数提供了求和和积分的算法。
作者：Fr\'ed\'eric Chyzak (INRIA Rocquencourt), Manuel Kauers, Bruno Salvy (INRIA Rocquencourt)
论文ID：0904.2761
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-06-19