Analytic / CONCEPT
Two-point grid row bounds
Logarithmic secant estimates control positive pairs, fractional rows and ordered two-item fills.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS1
Increasing the mean
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
- A quadratic majorant and weighted moment comparisonstructural-affinity · Closed
- Actual corners and the distance variancestructural-affinity · Closed
- Equality in the Hermite envelopestructural-affinity · Closed
- Extreme feasible fills have at most one fractional rowstructural-affinity · Closed
- Finite grid duality and optimal fill structurestructural-affinity · Closed
- Fractional means and residual support geometrystructural-affinity · Closed
- Hermite upper envelopestructural-affinity · Closed
- The general moment envelope and its monotonicitystructural-affinity · Closed
- Two-item greedy allocation and exchangestructural-affinity · Closed
- Two-point grid dominance and equalitystructural-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