Arith / CONCEPT
Dyadic Cost Support Lines
Affine supporting inequalities for the classical dyadic cost on the five-outcome real simplex.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS1
Five-outcome support lines
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- First completion and the full stopped-word lawstructural-affinity · Closed
- Five-tree Paid Batch Phasestructural-affinity · Closed
- Mersenne Dyadic Cost Support Linesstructural-affinity · Closed
- Native state and the original writersstructural-affinity · Closed
- Original Carry Graph and Fixed Tree Layersstructural-affinity · Closed
- Reduced Triangular Pathsstructural-affinity · Closed
- Shared Triangular Slot Implementationstructural-affinity · Closed
- Strict Growth of the Optimal Real-law Slopestructural-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