program code for "Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces"

• Section 6.1.1
• Section 6.1.2
• Section 6.2