差分环中高嵌套深度的超几何积表示
摘要：在适当设计的差分环中，提出了一个非平凡的符号机器，可以以算法方式解析有限个嵌套超几何乘积。作为结果，可以得到一个基于单位根的单一乘积和在彼此之间代数无关的嵌套超几何乘积的另一种表示。特别地，可以解决零识别问题：如果嵌套超几何乘积的输入表达式计算结果为零，则输出表达式为零表达式。结合差分环设置中可用的符号求和算法，可以得到一个能够表示（和简化）在嵌套乘积上定义的嵌套求和的通用机制。
作者：Evans Doe Ocansey, Carsten Schneider
论文ID：2011.08775
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-11-18