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

On two congruence conjectures

Guo-Shuai Mao; Zhi-Jian Cao

Comptes Rendus. Mathématique, Volume 357 (2019) p. 815-822