Formal global optimisation with Taylor models (2006)
by
Roland Zumkeller
Venue: | Automated Reasoning, LNCS |
Citations: | 12 - 0 self |