Numerical Verification of the Ternary Goldbach Conjecture up to 8.875·1030. - H. A. Helfgott; David J. Platt (Exp. Math., 2013)