Ednyashev, S., & Logos. (2025). A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo.
Tohutoru Kātū Chicago (17th ed.)Ednyashev, Sanal, me Logos. A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo, 2025.
Tohutoro MLA (9th ed.)Ednyashev, Sanal, me Logos. A Spectral Proof of the Riemann Hypothesis Formalized in Lean. Zenodo, 2025.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.