Arith / CONCEPT
Good Path Bounds
Uniform constants and completion of lattice packing.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES10
PROOF DEPTH43
DOCUMENT LINKS1
h S of int Weight
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Chain Err Budgettruth-dependency · Closed
- Cut Side Conditionstruth-dependency · Closed
- Cut Variancetruth-dependency · Closed
- Drift Accumulatedtruth-dependency · Closed
- Drift Stopped6ctruth-dependency · Closed
- Fail Total Bound99truth-dependency · Closed
- Final Dischargetruth-dependency · Closed
- Good Path Vartruth-dependency · Closed
- Theorem2R5truth-dependency · Closed
- Window R2truth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Chain Err Budgetstructural-affinity · Closed
- Cut Side Conditionsstructural-affinity · Closed
- Cut Variancestructural-affinity · Closed
- Drift Accumulatedstructural-affinity · Closed
- Drift Stopped6cstructural-affinity · Closed
- Fail Total Bound99structural-affinity · Closed
- Final Dischargestructural-affinity · Closed
- Good Path Corestructural-affinity · Closed
- Good Path Lightstructural-affinity · Closed
- Good Path Varstructural-affinity · Closed
- Theorem2R5structural-affinity · Closed
- Window R2structural-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