DMCA

Formal global optimisation with Taylor models (2006)

Cached

Download Links

by Roland Zumkeller
Venue:Automated Reasoning, LNCS
Citations:12 - 0 self