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)