Detecting unreliable computer simulations of recursive functions with interval extensions
2018 ◽
Vol 329
◽
pp. 408-419
◽
2018 ◽
Vol 7
(2)
◽
pp. 165-172
1982 ◽
Vol 40
◽
pp. 722-723
◽
1990 ◽
Vol 48
(4)
◽
pp. 138-139
1996 ◽
Vol 54
◽
pp. 134-135
1965 ◽
Keyword(s):
2014 ◽
Vol 52
(2)
◽
pp. 87-99
◽