On stopping criteria in verified nonlinear systems or optimization algorithms
2000 ◽
Vol 26
(3)
◽
pp. 373-389
◽
2019 ◽
Vol 81
(1)
◽
pp. 271-290
◽
Keyword(s):
1986 ◽
Vol 6
(4)
◽
pp. 453-462
◽
1992 ◽
Vol 139
(2)
◽
pp. 121
2017 ◽
Vol 13
(2)
◽
pp. 173-179
2014 ◽
Vol 134
(11)
◽
pp. 1708-1715
Keyword(s):
2012 ◽
Vol 132
(6)
◽
pp. 913-918
◽