Formal Global Optimization with Taylor Models (2006)

by Roland Zumkeller
Venue:In International Joint Conference on Automated Reasoning (IJCAR), LNCS (LNAI