Analytic / CONCEPT
Gaussian dominated even-moment cosine series
Gaussian dominated even-moment cosine series.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS0
The entire even-moment series and its uniform tail
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 source Jensen fixed windowstructural-affinity · Closed
- Analytic coefficient remainderstructural-affinity · Closed
- Finite Jensen coefficients and remainderstructural-affinity · Closed
- Hermite local scalingstructural-affinity · Closed
- Polynomial occurrences in an isolating diskstructural-affinity · Closed
- Positive Three-Term Root Realitystructural-affinity · Closed
- Simple real polynomial stabilitystructural-affinity · Closed
- Source Jensen Positive Extensionstructural-affinity · Closed
- The complete original theta-tail responsestructural-affinity · Closed
- The original tail derivative vectorstructural-affinity · Closed
- The original tail parameter and source identitiesstructural-affinity · Closed
- The theta transform and completed zetastructural-affinity · Closed
- The weighted original tail residualsstructural-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