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.

Authors:
Knowl status:
• Review status: beta
• Last edited by Andrew Sutherland on 2019-04-02 14:27:36
Referred to by:
History: