Empirical verification of the even Goldbach conjecture and computation of prime gaps up to 4⋅1018. - Tomás Oliveira e Silva; Siegfried Herzog; Silvio Pardi (Math. Comput., 2014)