A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers
Abstract. 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.