Improvements to turing's method II

Abstract

Turing's method uses explicit bounds on |f t2t1 S(t)dt|, where πS(t) is the argument of the Rie- mann zeta-function. This article improves the bound on |f t2t1 S(t)dt| given in [8].