A method of verifying partition congruences by symbolic computation. - Cristian-Silviu Radu; Nicolas Allen Smoot (J. Symb. Comput., 2021)

On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: An implementation of Radu's algorithm. - Nicolas Allen Smoot (J. Symb. Comput., 2021)