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 2009, 79.