DK Report 2019-11, N. Smoot and S. Radu
A Method of Verifying Partition Congruences by Symbolic Computation
dkreport19_11.pdf — PDF document, 568 KB (581914 bytes)