Combinatorics / CONCEPT
Both extrema in a neutral slab
Neutral occupied strips contain both signs of actual ambient extrema.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS0
Both signs of ambient extrema
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
- Actual slab coveragestructural-affinity · Closed
- Charging actual slab types to individual extremum cellsstructural-affinity · Closed
- Finite frozen-cut suppliersstructural-affinity · Closed
- Finite height envelopesstructural-affinity · Closed
- Individual extrema and maximal occupied intervalsstructural-affinity · Closed
- One-exit strip rigiditystructural-affinity · Closed
- Profile rigidity in geometric equalitystructural-affinity · Closed
- Slab extrema in unit-edge height arraysstructural-affinity · Closed
- The exact residual split countstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance