Combinatorics / CONCEPT
The Weighted Image Formula
Four integer-indexed Gaussian image families enumerate paths in a floor-reflected strip.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH8
DOCUMENT LINKS1
Images enumerate bounded paths
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
- Weighted Paths in a Bounded Stripstructural-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