FiniteGroups / CONCEPT
Conditional simultaneous type-I coverage
Real scalar PRODUCT inputs and type-I representative bounds supply one correction tuple for all targets on the actual powered components.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH10
DOCUMENT LINKS1
fill typeI root
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 type-II component reconstructionstructural-affinity · Closed
- Campbell's group-graph reciprocal-pair conjecturestructural-affinity · Closed
- Component movement and residual support budgetsstructural-affinity · Closed
- Directed forest reconstructionstructural-affinity · Closed
- Mixed component reconstructionstructural-affinity · Closed
- Movement classification and root selectionstructural-affinity · Closed
- Part II SL2GeneralLinearstructural-affinity · Closed
- Part II SL2Projectivestructural-affinity · Closed
- Part II SL2RootAlignmentstructural-affinity · Closed
- Part II SL2RootNormalizationstructural-affinity · Closed
- Proposition 8.4 and normalized-value inputsstructural-affinity · Closed
- Quantitative literal extractionstructural-affinity · Closed
- Retaining unused genuine valuesstructural-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