Discovering and Proving Infinite Binomial Sums Identities

Jakob Ablinger

We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log (2)$. In order to perform these simp…