Publication
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, Davide Buoso, Paolo Luzzini