A five-strip covering certificate for planar null geodesics in an equal-mass Majumdar-Papapetrou spacetime
Article, two saved interval certificates and offline finite checks for five strip coverings in a planar null-geodesic return map. The entropy bound is per return. Checks assume the original validated-flow enclosures. Lean L0; no human peer review. Code Apache-2.0, original text and generated data CC BY 4.0.
Authors
- 竜彦 滝本
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-11-01
- DOI
- https://doi.org/10.5281/zenodo.23850840
- Primary Topic
- Mathematical Dynamics and Fractals
- Type
- preprint