TY  - JOUR
AU  - Guo-Shuai Mao
AU  - Chen Wang
AU  - Jie Wang
TI  - Symbolic summation methods and congruences involving harmonic numbers
JO  - Comptes Rendus. Mathématique
PY  - 2019
SP  - 756
EP  - 765
VL  - 357
IS  - 10
PB  - Elsevier
DO  - 10.1016/j.crma.2019.10.005
LA  - en
ID  - CRMATH_2019__357_10_756_0
ER  -