Human proofs of identities by Osburn and Schneider
arXiv:0710.0464
Abstract
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.