The sum \(16^n\sum^{2n}_{k=0}4^k{\tfrac12\choose k}{-\tfrac12\choose k}{-2k\choose 2n-k}\): a proof of its closed form (Q3561420)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

The sum 16ⁿ^2n_k=04ᵏ¹² k-12 k-2k 2n-k: a proof of its closed form