符号求和的差分环理论
摘要：差分领域方法的增强性开发了一个总结框架。它不仅涵盖了关于超越扩展的无限嵌套求和和乘积，还可以处理基于单位根定义的嵌套乘积。所谓的 $RPiSigma^*$ 扩展的理论被算法补充，这些算法支持自动构建这样的差分环，并帮助解决符号求和问题。提出了解决参数化差分方程和一阶参数化差分方程的算法。作为结果，得到了适用于迭代求和范式和 Zelberger的创造性迭代求和方法的算法。通过这种差分环理论，得到了一个严格的求和机制，已经应用于许多来自组合学和粒子物理学的挑战性问题。
作者：Carsten Schneider
论文ID：1408.2776
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-02-04