论文标题
$π$ series和一致性的自动序列和应用的多项式减少
Polynomial reduction for holonomic sequences and applications in $π$-series and congruences
论文作者
论文摘要
首先设计用于超几何术语的多项式还原可自动证明并从旧角度生成新的超几何身份。在本文中，我们将还原方法扩展到自动序列。作为应用程序，我们描述了一种证明和生成新的多召唤身份的算法方法。特别是我们介绍涉及DOMB数字和Franel数字的新家庭。
Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $π$-series involving Domb numbers and Franel numbers.
