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 (June). https://utilitasmathematica.com/index.php/Index/article/view/617.