Some Questions Concerning Computer-Generated Proofs of a Binomial Double-Sum Identity

Along two different proofs of a double-sum identity involving binomial coefficients this paper raises some questions of general character concerning computer-assisted treatment of the given double sum and of identities of similar type.