Weil / CONCEPT
Rate Certificate for a Literal Rational Fixed Grid
The literal rational fixed grid has an explicit mesh-plus-scalar dyadic width rate.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
Explicit mesh and scalar error budgets
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
- A Concrete Squared-Residual Coverstructural-affinity · Closed
- Certified Literal Rational Pole Boundarystructural-affinity · Closed
- Checked Rational Box Coversstructural-affinity · Closed
- Literal Rational Pole-Boundary Gridstructural-affinity · Closed
- Prime-Archimedean Energy Identitystructural-affinity · Closed
- Rational Interval Expression Certificatesstructural-affinity · Closed
- Rational Polynomial Tests with a Fixed Cutoffstructural-affinity · Closed
- Semantic Certificate for a Literal Rational Fixed Gridstructural-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