Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf Classes

DOI10.1007/978-3-642-30979-3_6zbMath1273.05007arXiv1101.3949OpenAlexW1670851421MaRDI QIDQ2846957

Doron Zeilberger, Andrew M. Baxter, Brian Nakamura

Publication date: 4 September 2013

Published in: Advances in Combinatorics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1101.3949

zbMATH Keywords

automated enumerationconsecutive pattern-avoidance

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Combinatorial identities, bijective combinatorics (05A19)

Related Items (4)

Subregularity in infinitely labeled generating trees of restricted permutations ⋮ Clusters, generating functions and asymptotics for consecutive patterns in permutations ⋮ Descent pattern avoidance ⋮ Increasing consecutive patterns in words

Uses Software

• Maple
• CAV
• Elizalde
• Sergi
• ZOO
• RotaStanley
• KamaTzviot
• UGJ
• SymUGJ
• SiPerUGJ
• ROTA
• NAIVE
• DAVID_IAN
• JODO
• BLANKS
• SYMGJ
• SPGJ
• GJseries
• GJSAW
• GJsqfree

This page was built for publication: Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf Classes