全纯序列的多项式归约及其在 $\pi$-级数与同余中的应用
组合数学
2022-06-28 v2 数论
摘要
最初为超几何项设计的多项式归约，可用于从旧超几何恒等式自动证明并生成新的超几何恒等式。本文将归约方法推广至全纯序列。作为应用，我们描述了一种证明并生成新的多重求和恒等式的算法化方法。特别地，我们给出了涉及 Domb 数和 Franel 数的 -级数的新族。
引用
@article{arxiv.2205.11129,
title = {Polynomial reduction for holonomic sequences and applications in $\pi$-series and congruences},
author = {Rong-Hua Wang and Michael X. X. Zhong},
journal= {arXiv preprint arXiv:2205.11129},
year = {2022}
}