Special section on recent progress in verified numerical computations
2014 ◽
Vol 5
(1)
◽
pp. 1-1
◽
2013 ◽
Vol 4
(1)
◽
pp. 1-1
◽
2009 ◽
Vol 51
(4)
◽
pp. 040201
Keyword(s):
2010 ◽
Vol 33
(4)
◽
pp. 758-759
Keyword(s):
2010 ◽
Vol 56
(1)
◽
pp. 1-1
◽
Keyword(s):
2016 ◽
Vol 16
(4)
◽
pp. 3157-3158
2007 ◽
Vol E90-C
(2)
◽
pp. 215-216
◽
2005 ◽
Vol E88-B
(5)
◽
pp. 1852-1852
2007 ◽
Vol E90-C
(8)
◽
pp. 1547-1548