Combinatorics / CONCEPT
Augmented Dyck Weights
An extra factor records a singleton first component of a weighted Dyck path.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
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
- Adjacent Downstep Pairsstructural-affinity · Closed
- Avoidance from Permitted Gapsstructural-affinity · Closed
- Combined Dyck Weightsstructural-affinity · Closed
- Compositions for a Fixed Dyck Shapestructural-affinity · Closed
- Downstep-Weighted Dyck Enumerationstructural-affinity · Closed
- Enumeration for 1132 and 2213structural-affinity · Closed
- Quadratic Equation for Downstep Weightsstructural-affinity · Closed
- Relation Between Weighted Dyck Seriesstructural-affinity · Closed
- Singleton Components at Ground Levelstructural-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