Validated computation for infinite dimensional eigenvalue problems
1968 ◽
Vol 8
(2)
◽
pp. 275-286
◽
2002 ◽
Vol 17
(11)
◽
pp. 1517-1542
◽
2015 ◽
Vol 2015
◽
pp. 1-14
◽
2006 ◽
Vol 225
(1)
◽
pp. 57-89
◽
Keyword(s):
2009 ◽
Vol 26
(2-3)
◽
pp. 477-491
◽
Keyword(s):
2004 ◽
Vol 01
(01n02)
◽
pp. 107-157
◽
1998 ◽
Vol 08
(PR6)
◽
pp. Pr6-227-Pr6-231