1: \begin{abstract}

2:   We address the problem of bounding rigorously the errors in the numerical solution of

3:   the Kohn-Sham equations due to (i) the finiteness of the basis set, (ii) the

4:   convergence thresholds in iterative procedures, (iii) the propagation of

5:   rounding errors in floating-point arithmetic. In this contribution, we

6:   compute fully-guaranteed bounds on the solution of the non-self-consistent

7:   equations in the pseudopotential approximation in a plane-wave basis set. We

8:   demonstrate our methodology by providing band structure diagrams of silicon

9:   annotated with error bars indicating the combined error.

10: \end{abstract}

11: