@misc{indiciae97753d6641a1, title = {A Method of Verifying Partition Congruences by Symbolic Computation}, author = {Cristian-Silviu Radu and Nicolas Allen Smoot}, year = {2020}, url = {https://arxiv.org/abs/2004.02193}, note = {Source identifier: 2004.02193} }