Formal Global Optimization with Taylor Models, in (0)

by R Zumkeller
Venue:Proc. of the 4th International Joint Conference on Automated Reasoning, 2008