On a pair of three-colored (mod 10) partition identities
摘要
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.