On a pair of three-colored (mod 10) partition identities

Abstract

We prove a pair of (mod 10) partition identities. The sum sides involve three-colored partitions into distinct parts, while the product sides are the generating functions for distinct partitions times the Rogers-Ramanujan products. Our proofs make heavy use of Maple to verify that functional equations are satisfied.

arXiv commentContains five ancillary files with code for Maple-generated proofs