The Weil-Barner explicit formula is applied to the prime counting function and to the problem of numerical partial verification of the Riemann hypothesis.
Thomas Mountford, Michael Cranston
Joachim Stubbe, Luigi Provenzano, Paolo Luzzini, Davide Buoso