Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 30 min ago
Peer-reviewedLicence not statedPhilPapers (PhilPapers Foundation)

A Formal Proof of Riemann Hypothesis from Existence Alone, the Sign Excepted by Theorem: The Constructed Witness, the Identity Cone over the Fixed Locus, the Grounded Counter-Model, and the Cure Theorem Proved in Lean 4 and Re-executed in Fortran

  • Mohammad Islam1
  1. 1Independent Researcher
Open at sourcePDFDOICite

Related

  1. Generation of Iterated Wreath Products Constructed from Full Transformation Monoids and Symmetric Groups
    Jiaping Lu
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. Michell-Prager type truss structures constructed from integrable discrete power function and discrete logarithmic function
    Motoki Masada, Kentaro Hayakawa, Kazuki Hayashi +3
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. On Carmichael Numbers Constructed from Consecutive Jacobsthal Numbers
    Hayat Bensella
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  4. Antimagic Labeling of Central Digraphs Constructed from Loops
    Raja Rawat
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  5. Edge codes constructed from unicyclic graphs
    Sara Asensio, Giulia Gaggero, Naveena Ragunathan +2
    arXivPreprintarXiv licenceFull textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv

Cite

BibTeXRIS
BibTeX
@article{islam2026formal,
  title = {{A Formal Proof of Riemann Hypothesis from Existence Alone, the Sign Excepted by Theorem: The Constructed Witness, the Identity Cone over the Fixed Locus, the Grounded Counter-Model, and the Cure Theorem Proved in Lean 4 and Re-executed in Fortran}},
  author = {Mohammad Islam},
  journal = {PhilPapers (PhilPapers Foundation)},
  year = {2026},
  month = sep,
  doi = {10.5281/zenodo.22912937},
  url = {https://philarchive.org/rec/ISLAFC-2},
}
RIS
TY  - JOUR
TI  - A Formal Proof of Riemann Hypothesis from Existence Alone, the Sign Excepted by Theorem: The Constructed Witness, the Identity Cone over the Fixed Locus, the Grounded Counter-Model, and the Cure Theorem Proved in Lean 4 and Re-executed in Fortran
AU  - Mohammad Islam
PY  - 2026
DA  - 2026/09/23
JO  - PhilPapers (PhilPapers Foundation)
DO  - 10.5281/zenodo.22912937
UR  - https://philarchive.org/rec/ISLAFC-2
ER  -