Weil / CONCEPT
Gamma Integral Estimates
The Stirling estimate yields the first and second dyadic mu-integral asymptotics.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Gamma Integral Estimates
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
- Archimedean Confinementstructural-affinity · Closed
- Archimedean Divergence of Translated Packetsstructural-affinity · Closed
- Closed Canonical ZeroData Nonvacuity Chainstructural-affinity · Closed
- Complete GammaFacts Assemblystructural-affinity · Closed
- Riemann–von Mangoldt Zero-Count Growthstructural-affinity · Closed
- The quarter-digamma resolvent on the full real linestructural-affinity · Closed
- Unconditional Canonical Zeta ZeroDatastructural-affinity · Closed
- Weil: Analytic Stirlingstructural-affinity · Closed
- Weil: Gamma Mustructural-affinity · Closed
- Weil: Gamma Stirling Vertstructural-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