The Bijection Machine

Herbert Wilf
University of Pennsylvania, Philadelphia, PA 19104-6395, USA
wilf@math.upenn.edu

Abstract

The theory of integer partitions is full of beautiful bijections which prove that there are as many partitions of one kind as of another kind. The Involution Principle of Garsia-Milne opened the door to automating the discovery of such bijections. We will describe these methods and some of their achievements.

Note

The related materials can be found in the Prof. H. Wilf's Homepage.