Combinatorics / CONCEPT
Classification by actual boundary cuts
Actual maximal occupied intervals have minimum, maximum or neutral type.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH6
DOCUMENT LINKS0
The three actual types partition the slabs
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
- Existence of minimum and maximum slab typesstructural-affinity · Closed
- Finite frozen-cut suppliersstructural-affinity · Closed
- Individual extrema and maximal occupied intervalsstructural-affinity · Closed
- MiuraEqualityOrderstructural-affinity · Closed
- MiuraEqualitySaturationstructural-affinity · Closed
- The geometric frozen-run boundstructural-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