Annals of Combinatorics 2 (1998) 185-195
Enumeration Schemes and, More Importantly, Their Automatic Generation
Department of Mathematics, Temple University,
Philadelphia, PA 19122, USA
Received May 27, 1998
AMS Subject Classification: 05A15
Abstract. The notion of Enumeration Scheme is introduced and applied to the problem of counting permutations with forbidden patterns. Most importantly, the process is completely automated in a software package, WILF, accompanying this article.
Keywords: Permutation with restricted positions, Automated proofs in combinatorics, Wilf classes
1. D.E. Knuth, The Art of Computer Programming, Vol.3, Addison-Wesley, Reading, MA, 1973; 2nd Ed., 1997.
2. L.B. Gerson, Sefer Maàsei Khosev, 1321, Orange, France. [Extant printed version in: Gerson Lange, Frankfurt: Louis Golde, 1909.]
3. J. West, Generating trees and Catalan and Schrüder numbers, Discrete Math. 146 (1995) 247–262.
4. H.S. Wilf, What is an answer?, Amer. Math. Monthly 89 (1982) 289–292.