Combinatorics / CONCEPT
Inversion Sequences and Pattern Avoidance
Inversion sequences and pattern avoidance define the equinumerosity assertions for Classes 152 and 207.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH2
DOCUMENT LINKS1
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- FishburnDefsstructural-affinity · Closed
- FranklinInversionstructural-affinity · Closed
- FranklinInversionBasicstructural-affinity · Closed
- FranklinInversionClassificationstructural-affinity · Closed
- FranklinInversionDefsstructural-affinity · Closed
- Improper partition matrices and alphabet gapsstructural-affinity · Closed
- Nonnesting Avoidance and Generating Functionsstructural-affinity · Closed
- Occurrence Orders in Doubled Wordsstructural-affinity · Closed
- Occurrences of Length-Three Patternsstructural-affinity · Closed
- Order Around a Maximumstructural-affinity · Closed
- Permutation squares and the conjectured recurrencestructural-affinity · Closed
- Separation at Descentsstructural-affinity · Closed
- Weak Ascent Sequences Avoiding Four Patternsstructural-affinity · Closed
- Weakly Increasing Inversion Sequences and Dyck Pathsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance