TY - RPRT TI - Human and automated approaches for finite trigonometric sums AU - Jean-Paul Allouche AU - Doron Zeilberger PY - 2022 UR - https://arxiv.org/abs/2204.08228 ID - 2204.08228 ER -