VertexAlgebra / CONCEPT
Supported contextual kernel extraction
Finite contextual Hahn convolution fibers for signed collision kernels.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH7
DOCUMENT LINKS0
Every complete Hahn convolution fiber has finite support
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
- Absolute evaluation of ordered collision expansionsstructural-affinity · Closed
- Actual finite homogeneous Laurent carriersstructural-affinity · Closed
- Actual supported-word rational reconstruction and collisionstructural-affinity · Closed
- Compact normal convergence in a radial chamberstructural-affinity · Closed
- Complete adjacent coordinates and fused residuestructural-affinity · Closed
- Diagonal residues and spectator cancellationstructural-affinity · Closed
- Full fixed-denominator rational collisionstructural-affinity · Closed
- LatticeHalfFockCollisionTaylorstructural-affinity · Closed
- The rational inner field and its ordered coefficientsstructural-affinity · Closed
- Weighted Local Correlators on Arbitrary Inputsstructural-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