Pages that link to "Item:Q2846957"
From MaRDI portal
The following pages link to Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf Classes (Q2846957):
Displaying 7 items.
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- Clusters, generating functions and asymptotics for consecutive patterns in permutations (Q1761477) (← links)
- Descent pattern avoidance (Q1761479) (← links)
- Subregularity in infinitely labeled generating trees of restricted permutations (Q2155932) (← links)
- Increasing consecutive patterns in words (Q2304195) (← links)
- Automatic Theorem-Proving in Combinatorics on Words (Q2914707) (← links)
- A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences (Q5168653) (← links)