TY  - JOUR
AU  - Mao, Guo-Shuai
AU  - Wang, Chen
AU  - Wang, Jie
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
UR  - http://www.numdam.org/articles/10.1016/j.crma.2019.10.005/
DO  - 10.1016/j.crma.2019.10.005
LA  - en
ID  - CRMATH_2019__357_10_756_0
ER  -