Zeros / CONCEPT
Altizio's geometric-sum disk classification
The geometric-sum bound on the closed disk centered at two holds exactly in degrees five, six and seven.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
The exact set of degrees
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- An entire endpoint profile with factorial derivative budgetsstructural-affinity · Closed
- Discrete coefficient samplingstructural-affinity · Closed
- Explicit Nonvanishing Seed Radiusstructural-affinity · Closed
- Finite Box Smoothing and Quantitative Weil Seedsstructural-affinity · Closed
- Finite Even Weil Interpolationstructural-affinity · Closed
- Pointwise minimax upper bounds for ground energystructural-affinity · Closed
- Uniform actual finite-head tailsstructural-affinity · Closed
- Uniform coefficient budgets and joint Laplace certificatesstructural-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