Abstract
The double zeta function was first studied by Euler in response to
a letter from Goldbach in 1742. One of Euler's results for this
function is a decomposition formula, which expresses the product
of two values of the Riemann zeta function as a finite sum of
double zeta values involving binomial coefficients. Here, we
establish a