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.

• Type: Journal
• Year: 2002
• Where: AAECC
• Authors: Russell Lyons, Peter Paule, Axel Riese
• Keywords: AAECC 2002, Algorithms, Definite Integration Problem, Fruitful Interaction, Randomized Wz Procedure