Publications

• Generating Permutations with Restricted Containers (with Michael H. Albert, Cheyne Homberger, Jay Pantone, and Vincent Vatter).
• The number of 1...d-avoiding permutations of length d+r for SYMBOLIC d but numeric r (with Shalosh B. Ekhad and Doron Zeilberger).
• A Very Short (Bijective!) Proof of Touchard's Catalan Identity (with Amitai Regev and Doron Zeilberger).
• The (Ordinary) Generating Functions Enumerating 123-Avoiding Words with r occurrences of each of 1,2, ..., n are Always Algebraic (with Doron Zeilberger). Submitted for publication (November 2014).
• Computer-assisted bijectification of Franel's recurrence. Journal of Difference Equations and Applications 20 (2014).
• Beyond Knights and Knaves (with D. Onderko, C. Cheng, A. McConvey and C. Tomlinson). 39th International Workshop on Graph-Theoretic Concepts in Computer Science (June 2013).
• Combinatorial proofs of Vajda's Ninetieth Identity and Related Identities. Integers 12 (2012), #A5.
  • Update (09 Feb 2012): Mark Shattuck brought my attention to his paper of 2009 ("Recounting Some Reciprocal Fibonacci Number Relations", Utilitas Mathematica 79 (2009), pp. 259--265), which provides an earlier combinatorial proof (of a probabilistic character) of the same identity 90 of Vajda. So it appears that the identity was already "counted" after all, at least if a probabilistic proof counts (and I think it does).