Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
2014 ◽
Vol 52
(2)
◽
pp. 975-992
◽
2020 ◽
Vol 39
(4)
◽
pp. 475-497
◽
2001 ◽
Vol 329
(1-3)
◽
pp. 97-136
◽
1981 ◽
Vol 91
(1-2)
◽
pp. 15-30
◽
1989 ◽
Vol 32
(1)
◽
pp. 19-29
◽
Keyword(s):
1974 ◽
Vol 8
(2)
◽
pp. 220-237
◽
1987 ◽
Vol 30
(2)
◽
pp. 215-228
◽
1981 ◽
Vol 90
(1-2)
◽
pp. 107-124
◽
Keyword(s):