A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers

Russell Lyons, Peter Paule, Axel Riese. A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers. Appl. Algebra Eng. Commun. Comput., 13(4):327-333, 2002. [doi]

Abstract

Abstract is missing.