Gardado en:
| Main Authors: | , |
|---|---|
| Formato: | Recurso digital |
| Idioma: | |
| Publicado: |
Zenodo
2025
|
| Acceso en liña: | https://doi.org/10.5281/zenodo.15237459 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Table of Contents:
- <p>We present a fully formalized and machine-verified proof of the Riemann Hypothesis using a spectral approach. The proof constructs a zeta function defined as an infinite product over the non-trivial zeros of the classical Riemann zeta function, and shows that the symmetry implies that all such zeros must lie on the critical line . The symmetry itself is derived from the functional equation of the classical zeta function. The entire proof is implemented and verified in the Lean theorem prover using the Mathlib library, ensuring complete formal rigor and reproducibility.</p>