Arith / CONCEPT
Bombieri Vaaler Relative
From numbers at least one, select a smaller subfamily with bounded geometric mean.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES2
PROOF DEPTH9
DOCUMENT LINKS1
Bombieri Vaaler Relative
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
- Arakelov Height Extensionstructural-affinity · Closed
- Auxiliary Polynomialstructural-affinity · Closed
- Auxiliary Polynomial Fixed Degreestructural-affinity · Closed
- Bombieri Vaaler Max Normstructural-affinity · Closed
- Counting Volumestructural-affinity · Closed
- Extractionstructural-affinity · Closed
- Minkowski Secondstructural-affinity · Closed
- Mixed Ballstructural-affinity · Closed
- Mixed Cubestructural-affinity · Closed
- Quotient Fubinistructural-affinity · Closed
- Restrict Scalarsstructural-affinity · Closed
- Roth Auxiliarystructural-affinity · Closed
- Row Entry Heightstructural-affinity · Closed
- Successive Minimastructural-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