Combinatorics / CONCEPT
Weighted Paths in a Bounded Strip
The sum of peak abscissae gives a polynomial weight on paths with horizontal edges only at the floor.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS1
The last-edge recurrence
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
- Expansion of the Multiple Sum into Pathsstructural-affinity · Closed
- Gaussian Enumeration of Rectanglesstructural-affinity · Closed
- Gaussian Level Transitionsstructural-affinity · Closed
- Peak Deletion and Insertionstructural-affinity · Closed
- Refined Path Polynomials and Deletionstructural-affinity · Closed
- The Finite Andrews-Gordon Companion Identitystructural-affinity · Closed
- The Weighted Image Formulastructural-affinity · Closed
- Weighted Peak-Insertion Sumsstructural-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