Note on a double binomial sum relevant to the Hadamard maximal determinant problem

Richard P. Brent, Judy-anne H. Osborn

We prove a double binomial sum identity which differs from most binomial sum identities in that the summands involve the absolute value function. The identity is of interest becaus…