Osburn和Schneider的人类身份证明
Human proofs of identities by Osburn and Schneider
摘要：
Osburn和Schneider使用计算机程序Sigma推导出了几个涉及调和数的组合恒等式。在这里，它们是通过部分分式分解和创造性伸缩而得到的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
