![](/img/cover-not-exists.png)
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
Watanabe, Yoshitaka, Nagatou, Kaori, Plum, Michael, Nakao, Mitsuhiro T.Volume:
52
Language:
english
Journal:
SIAM Journal on Numerical Analysis
DOI:
10.1137/120894683
Date:
April, 2014
File:
PDF, 1.03 MB
english, 2014