Certified bounds for the eigenvalues of the Dirac operator

To upload material, you must first log in.