While looking for a closed form of a expression I worked myself to a formula that resembles the Vandermonde convolution, but is summed over even binomial coefficients only.
I'm at a loss as to what to do with it. I can re-write it in several ways, but the principal problem remains. Is there a known technique to attack such sums? Thanks.