%0 Journal Article %A Guo-Shuai Mao %A Chen Wang %A Jie Wang %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 %R 10.1016/j.crma.2019.10.005 %G en %F CRMATH_2019__357_10_756_0