Computer-Assisted Proofs of Congruences for Multipartitions and Divisor Function Convolutions, based on Methods of Differential Algebra

Alexandru Pascadi

This paper provides algebraic proofs for several types of congruences involving the multipartition function and self-convolutions of the divisor function. Our computations use meth…