Contribution to Book
Contemporary Mathematics: Gems in Experimental Mathematics
The derivation of the Hardy-Ramanujan-Rademacher formula for the number of partitions of n is reviewed. Next, the steps for ﬁnding analogous formulas for certain restricted classes of partitions or overpartitions is examined, bearing in mind how these calculations can be automated in a CAS. Finally, a number of new formulas of this type which were conjectured with the aid of Mathematica are presented along with results of a test for their numerical accuracy.
"Towards an Automation of the Circle Method."
Contemporary Mathematics: Gems in Experimental Mathematics, Tewodros Amdeberhan, Luis Medina, and Victor Moll (Ed.), 517: 321-338: American Mathematical Society.
doi: 10.1090/conm/517/10150 source: http://www.math.rutgers.edu/~asills/EMDC/SillsEMDC-Rev.pdf isbn: 978-0-8218-4869-2