Finding congruences with the WZ method

Li-Quan Feng, Qing-Hu Hou

We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k,a,b,\dots )$ with Gospe…