KOEPF, WOLFRAM A.; LARCOMBE, PETER J. The sum 16nΣ2nk=04k( 1/2k)(-1/2k)(-2k 2n-k): A computer assisted proof of its closed form, and some generalised results. Utilitas Mathematica , [S. l.], v. 79, 2009. Disponível em: https://utilitasmathematica.com/index.php/Index/article/view/617. Acesso em: 8 may. 2026.