Telescoping Method and Congruences for Double Sums

Yan-Ping Mu,Zhi-Wei Sun
DOI: https://doi.org/10.1142/s1793042118500100
2017-01-01
International Journal of Number Theory
Abstract:In recent years, Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.
What problem does this paper attempt to address?