TY - RPRT TI - Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions AU - Hadrien Brochet AU - Bruno Salvy PY - 2023 UR - https://arxiv.org/abs/2307.07216 ID - 2307.07216 ER -