When using the Euler-MacLaurin formula to compute the zeta function along the critical line to very high precision, I’ve found that using the analytic expression for the Bernoulli numbers does save time for the term involving the Bernoulli numbers. So, in my computations of zeta near the first non-trivial zeta zero, the lion’s share of… Continue reading Experimenting with Euler-McLaurin summation for zeta, Update