We present rigorous and sharp bounds for the terms and remainder in the Riemann-Siegel formula (for a general argument, not necessarily on the critical line). This allows for the computation of ζ(s) ...