@misc{indiciae3f91883219e4, title = {Human and automated approaches for finite trigonometric sums}, author = {Jean-Paul Allouche and Doron Zeilberger}, year = {2022}, url = {https://arxiv.org/abs/2204.08228}, note = {Source identifier: 2204.08228} }