TY - RPRT TI - Polynomial reduction for holonomic sequences and applications in $π$-series and congruences AU - Rong-Hua Wang AU - Michael X. X. Zhong PY - 2022 UR - https://arxiv.org/abs/2205.11129 ID - 2205.11129 ER -