%0 Journal Article %A Mao, Guo-Shuai %A Wang, Chen %A Wang, Jie %T Symbolic summation methods and congruences involving harmonic numbers %J Comptes Rendus. Mathématique %D 2019 %P 756-765 %V 357 %N 10 %I Elsevier %U http://www.numdam.org/articles/10.1016/j.crma.2019.10.005/ %R 10.1016/j.crma.2019.10.005 %G en %F CRMATH_2019__357_10_756_0