Weil / CONCEPT
Conditioning of Even Lagrange Interpolation
Gautschi-type finite products bound the actual Mathlib Lagrange basis on squared nodes, keeping direct and reflected separation explicit.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
Actual Lagrange basis on a disk
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Even Interpolation with Arithmetic Jet Budgetsstructural-affinity · Closed
- Finite Box Smoothing and Quantitative Weil Seedsstructural-affinity · Closed
- Finite Head and Fourth-Moment Tail Budgetstructural-affinity · Closed
- Quantitative Packets from Certified Finite Zero Nodesstructural-affinity · Closed
- Sparse Even Interpolation and Quantitative Jetsstructural-affinity · Closed
- SparseBurnolPacketJetsstructural-affinity · Closed
- Unit Support and Explicit Peak Radiusstructural-affinity · Closed
- WeilBurnolCauchyTailBudgetstructural-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