Osburn 和 Schneider 恒等式的人工证明
组合数学
2007-10-03 v1
摘要
Osburn 和 Schneider 利用计算机程序 Sigma 推导出了若干个涉及调和数的组合恒等式。在此，我们通过部分分式分解和创造性裂项法对这些恒等式进行了推导。
引用
@article{arxiv.0710.0464,
title = {Human proofs of identities by Osburn and Schneider},
author = {Helmut Prodinger},
journal= {arXiv preprint arXiv:0710.0464},
year = {2007}
}