1. ACRC. BlueCrystal Phase 3 User Guide. (2015)
2. Batut, C., Belabas, K., Bernardi, D., Cohen, H., Olivier, M.: User’s Guide to PARI-GP (2000)
3. Brent, R.P., Platt, D.J., Trudgian, T.S.: The mean square of the error term in the prime number theorem. Submitted. Preprint available at arXiv:2008.06140
4. Demichel, P., Saouter, Y., Trudgian, T.: A still sharper region where $$\pi (x) - \rm li(x)$$ is positive. Math. Comp. 84(295), 2433–2446 (2015)
5. Jessen, B., Tornehave, H.: Mean motions and zeros of almost periodic functions. Acta Math. 77, 137–279 (1945)