@article{CRMATH_2019__357_10_756_0,
     author = {Mao, Guo-Shuai and Wang, Chen and Wang, Jie},
     title = {Symbolic summation methods and congruences involving harmonic numbers},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {756--765},
     publisher = {Elsevier},
     volume = {357},
     number = {10},
     year = {2019},
     doi = {10.1016/j.crma.2019.10.005},
     language = {en},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2019.10.005/}
}