A computer proof of a series evaluation in terms of harmonic numbers
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a definite integration problem.
computer algebra definite integration hypergeometric summation wz method