\input zb-basic
\input zb-ioport
\iteman{io-port 05999913}
\itemau{Wood, Philip Matchett; Zeilberger, Doron}
\itemti{A translation method for finding combinatorial bijections.}
\itemso{Ann. Comb. 13, No. 3, 383-402 (2009).}
\itemab
Summary: Consider a combinatorial identity that can be proved by induction. In this paper, we describe a general method for translating the inductive proof into a recursive bijection. Furthermore, we will demonstrate that the resulting recursive bijection can often be defined in a direct, non-recursive way. Thus, the translation method often results in a bijective proof of the identity that helps illuminate the underlying combinatorial structures. This paper has two main parts: First, we describe the translation method and the accompanying Maple code; and second, we give a few examples of how the method has been used to discover new bijections.
\itemrv{~}
\itemcc{}
\itemut{bijection; bijective proof; combinatorial identity; Maple code}
\itemli{doi:10.1007/s00026-009-0024-y}
\end