Formal Global Optimisation with Taylor Models
2006 ◽
pp. 408-422
◽
1993 ◽
Vol 140
(2)
◽
pp. 71
Keyword(s):
2012 ◽
Vol 94
(11)
◽
pp. 3309-3320
◽
2004 ◽
Vol 12
(4)
◽
pp. 475-490
◽
Keyword(s):
2021 ◽
Vol 13
(4)
◽
pp. 369
1997 ◽
Vol 5
(1)
◽
pp. 58-64
◽