W.Y.C. Chen, Q.-H. Hou and D. Zeilberger,
Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences,
J. Difference Equ. Appl. 22(6) (2016) 780-788.

Cited by

  1. M. Apagodu, Elementary proof of congruences involving sum of binomial coefficients, Int. J. Number Theory 14(6) (2018) 1547-1557.

  2. M. Apagodu and D. Zeilberger, Using the "freshman's dream'' to prove combinatorial congruences, Amer. Math. Monthly 124(7) (2017) 597-608.

  3. S. Chen, How to generate all possible rational Wilf-Zeilberger pairs? arXiv:1802.09798.

  4. Q.-H. Hou and Y.-S. Wang, Constant term evaluation and two kinds of congruence, Int. J. Number Theory 14(7) (2018) 2013-2022.

  5. J.-C. Liu, On two conjectural supercongruences of Apagodu and Zeilberger, J. Difference Equ. Appl. 22(12) (2016) 1791-1799.

  6. J. Rosen, The MHS algebra and supercongruences, arXiv:1608.06864.