Human proofs of identities by Osburn and Schneider
Helmut Prodinger
所有作者
Helmut Prodinger
文献摘要
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.