一个蕴含 Goellnitz 分拆定理的多项式恒等式的计算机证明
组合数学
2007-05-23 v1 数论
量子代数
摘要
在本文中，我们给出了一个新的多项式恒等式的计算机证明，该恒等式推广了 Alladi 和第一作者最近的结果。此外，我们提供了 Jacobi 和 Euler 公式的新的有限类比的计算机证明。所有计算机证明均借助第二作者开发的新的计算机代数包 qMultiSum 完成。qMultiSum 实现了 Wilf 和 Zeilberger 的 Sister Celine 技术的多 q 扩展的算法细化，利用了 Verbaeten 和 Wegschaider 的额外思想。
引用
@article{arxiv.math/0102106,
title = {A computer proof of a polynomial identity implying a partition theorem of Goellnitz},
author = {A. Berkovich and A. Riese},
journal= {arXiv preprint arXiv:math/0102106},
year = {2007}
}
备注
12 pages, to appear in Adv. Appl. Math