TY - RPRT TI - Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences AU - Edinah Gnang AU - Doron Zeilberger PY - 2013 UR - https://arxiv.org/abs/1306.6668 ID - 1306.6668 ER -