Computerizing the Andrews-Fraenkel-Sellers Proofs on the Number of m-ary partitions mod m (and doing MUCH more!)

Abstract

In this short article, two recent beautiful proofs of George Andrews, Aviezri Fraenkel, and James Sellers, about the mod m characterization of the number of m-ary partitions are simplified and streamlined, and then generalized to handle many more cases, and prove much deeper theorems, with the help of computers, of course.

arXiv comment7 pages, accompanied by a Maple package, available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/afs.html