Koepf, Wolfram A. and Larcombe, Peter J. 2009. 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 . 79, (Jun. 2009).