To numerically verify R.H. up to some maximum height T, people often use the Riemann-Siegel formula Wikipedia article on R.S. or Z function for at least some of the Zeta/Z computations on zeros. This method is faster than using a method called Euler-MacLaurin summation, although the latter is preferred for dozens or hundreds of digits… Continue reading Checking the Riemann Hypothesis