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. A Canadian journal of applied mathematics, computer science and statistics [Internet]. 2009 Jun. 9 [cited 2026 May 8];79. Available from: https://utilitasmathematica.com/index.php/Index/article/view/617