References
- [Batut et al. 00] C. Batut, K. Belabas, D. Bernardi, H. Cohen, and M. Olivier. “User’s Guide to PARI-GP,” Available at pari.math.u-bordeaux.fr/pub/pari/, 2000.
- [CoqPrime 12] CoqPrime. “Certifying Prime Number with the Coq prover, CoqPrime project,” Available at http://coqprime.gforge.inria.fr/, 2012.
- [Helfgott 15] H. A. Helfgott. “The Ternary Goldbach Problem,” arXiv:1501.05438v2 [math.NT], 2015.
- [Helfgott and Platt 13] H. A. Helfgott and D. J. Platt. “Numerical Verification of the Ternary Goldbach Conjecture up to 8.875 · 1030.” Exp. Math. 22 (2013), 406–409.
- [Oliveira e Silva et al. 14] T. Oliveira e Silva, S. Herzog, and S. Pardi. “Empirical Verification of the Even Goldbach Conjecture and Computation of Prime Gaps up to 4 · 1018.” Math. Comp. 83 (2014), 2033–2060.
- [Saouter 98] Y. Saouter. “Checking the Odd Goldbach Gonjecture up to 1020.” Math. Comp. 67 (1998), 863–866.
- [Sinisalo 93] M. K. Sinisalo. “Checking the Goldbach Conjecture up to 4 · 1011.” Math. Comp. 61 (1993), 931–934.
- [Wolfram 15] Wolfram: Some Notes on Internal Implementation, Wolfram Language & System, Documentation Center, Available at http://reference.wolfram.com/language/, 2015.