The programs in this directory verify the smallest eigenvalue in remark 6.2 using a computer-aided proof. 

1. Initiate the Intlab_V11 packages for inteval arithmetics. To do so, 
    click into the directory 'Intlab_V11', run 'startintlab.m', then 
    come back to the current directory.

2. Run 'damp.m' to verify.