@misc{indiciaef498b18af029, title = {Computer-Assisted Proofs of Congruences for Multipartitions and Divisor Function Convolutions, based on Methods of Differential Algebra}, author = {Alexandru Pascadi}, year = {2018}, url = {https://arxiv.org/abs/1805.01103}, note = {Source identifier: 1805.01103} }