Human proofs of identities by Osburn and Schneider
Abstract
Description
Osburn and Schneider derived several combinatorial identities involving harmonic numbers using the computer programm Sigma. Here, they are derived by partial fraction decomposition and creative telescoping.