Popular repositories Loading

1. dirichlet-critical-zeros dirichlet-critical-zeros Public

   Unconditional: at least 93.22% − ε of the zeros of a weighted family of Dirichlet L-functions are simple and on the critical line, with a machine-checked Lean 4 proof. Paper, formalisation and veri…

   Lean 1

2. zeta-sharpness-uniqueness zeta-sharpness-uniqueness Public

   Weil's explicit formula for ζ(s): an exact magic function F = Ξ²H shows the Odlyzko–Poitou–Serre method is sharp for ζ (κ* ≤ 0), and every positive solution is ζ's own zeros and primes (Conjectures…

   TeX 1

3. zeta-positive-solutions zeta-positive-solutions Public

   Positive solutions of Weil's explicit formula for ζ(s): uniqueness near ζ's own zeros and primes, and certificates showing the optimal explicit-formula conductor bound reaches 1 − 8.98·10⁻¹⁰⁶⁰ (κ* …

   TeX