Symbolic summation methods and congruences involving harmonic numbers

Guo-Shuai Mao; Chen Wang; Jie Wang

Comptes Rendus. Mathématique, Volume 357 (2019) p. 756-765