The Riemann hypothesis is true up to $3\cdot 10^{12}$

Sur la distribution des nombres premiers

J. E. Littlewood · 1914

Earlier work this paper cites.

Approximate formulas for some functions of prime numbers

J. B. Rosser and L. Schoenfeld · 1962

Earlier work this paper cites.

Sharper bounds for the Chebyshev functions θ ⁡ ( x ) \theta(x) and ψ ⁡ ( x ) \psi(x) , II

L. Schoenfeld · 1976

Earlier work this paper cites.

Zero-free regions for the Riemann zeta function

K. Ford · 2002

Earlier work this paper cites.

N. Revol and F. Rouillier, A library for arbitrary precision interval arithmetic, 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (2002)

2002

Earlier work this paper cites.

ZetaGrid — Computational verification of the Riemann Hypothesis

S. Wedeniwski · 2003

Earlier work this paper cites.

Computing degree 1 L L -functions rigorously

D. J. Platt · 2011

Earlier work this paper cites.

Improvements to Turing’s Method

T. S. Trudgian · 2011

Earlier work this paper cites.

A zero density result for the Riemann zeta function

H. Kadiri · 2013

Earlier work this paper cites.

Explicit estimates for the summatory function of Λ ⁡ ( n ) / n \Lambda(n)/n from the one for Λ ⁡ ( n ) \Lambda(n)

O. Ramaré · 2013

Earlier work this paper cites.

Integers

H. Kadiri and A. Lumley. Short effective intervals containing primes · 2014

Earlier work this paper cites.

Every odd number greater than 1 is the sum of at most five primes

T. Tao · 2014

Earlier work this paper cites.

BlueCrystal User Guide , 2015

ACRC · 2015

Cited alongside, same era.

A still sharper region where π ⁡ ( x ) − li ⁡ ( x ) \pi(x)-\li(x) is positive

P. Demichel, Y. Saouter, and T. Trudgian · 2015

Cited alongside, same era.

Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function

M. J. Mossinghoff and T. S. Trudgian · 2015

Cited alongside, same era.

Explicit bounds on the logarithmic derivative and the reciprocal of the Riemann zeta-function

T. S. Trudgian · 2015

Cited alongside, same era.

Estimating π ⁡ ( x ) \pi(x) and related functions under partial RH assumptions

J. Büthe · 2016

Cited alongside, same era.

On the first sign change of θ ⁡ ( x ) − x \theta(x)-x

D.J. Platt and T. S. Trudgian · 2016

Cited alongside, same era.

Isolating some non-trivial zeros of zeta

D. J. Platt · 2017

Later among the works it cites.

Explicit bounds for primes in arithmetic progressions

M.A. Bennett, G. Martin, K. O’Bryant, and A. Rechnitzer · 2018

Later among the works it cites.

Explicit estimates of some functions over primes

P. Dusart · 2018

Later among the works it cites.

Corrigendum to “New bounds for ψ ⁡ ( x ) \psi(x) ”

L. Faber and H. Kadiri · 2018

Later among the works it cites.

Explicit zero density for the Riemann zeta function

H. Kadiri, A. Lumley, and N. Ng · 2018

Later among the works it cites.

Effective approximation of heat flow evolution of the Riemann ξ \xi function, and a new upper bound for the de Bruijn–Newman constant

D. H. J. Polymath · 2019

Later among the works it cites.