A computer proof of a series evaluation in terms of harmonic numbers
The authors derive a computer algebra proof of a series evaluation that originates from a definite integration problem. For this proof a new randomised WZ procedure together with other programs are used.
scientific article; zbMATH DE number 1882103