Formulae for the number of partitions of n into at most m parts (using the quasi-polynomial ansatz)

Andrew V. Sills, Doron Zeilberger

The purpose of this short article is to announce, and briefly describe, a Maple package, PARTITIONS, that (inter alia) completely automatically discovers, and then proves, explicit…