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