Computation of Zeros of the Zeta Function
Verification of RH up to the 10^13-th zero, with details of the computations and further results, by Xavier Gourdon with the help of Patrick Demichel.