Formal global optimisation with Taylor models (2006)

by Roland Zumkeller
Venue:Automated Reasoning, LNCS