show · rcs.source.zeros.zeta all knowls · up · search:

The database of Riemann zeta zeros was computed by David Platt using the algorithm described in [MR:3315519 , 10.1090/S0025-5718-2014-02884-6 ]. The imaginary part of each zero is stored with an absolute precision of $±2^{−102}$ and the completeness of the list was verified using a rigorous version of Turing's method.

The raw data can be downloaded directly from https://beta.lmfdb.org/data/riemann-zeta-zeros/.
The code for reading the raw data is available at https://github.com/LMFDB/lmfdb/blob/master/lmfdb/zeros/zeta/platt_zeros.py.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Andrew Sutherland on 2022-04-13 21:46:31
Referred to by:
History: (expand/hide all) Differences (show/hide)