A Validated Real Function Calculus
2011 ◽
Vol 5
(4)
◽
pp. 437-467
◽
Keyword(s):
1982 ◽
Vol 13
(6)
◽
pp. 1024-1040
◽
2004 ◽
Vol 41
(2)
◽
pp. 570-578
◽
Keyword(s):
1978 ◽
pp. 213-227