arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0102106math.COmath.NTmath.QA
收藏

A computer proof of a polynomial identity implying a partition theorem of Goellnitz

A. Berkovich, A. Riese

英文摘要:

In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra package qMultiSum developed by the second author. qMultiSum implements an algorithmic refinement of Wilf and Zeilberger's multi-q-extension of Sister Celine's technique utilizing additional ideas of Verbaeten and Wegschaider.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑