A Second-Order Pruning Step for Verified Global Optimization
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISSN: 0925-5001 KITopen-ID: 1000012510 |
| Erschienen in | Journal of global optimization |
| Verlag | Springer |
| Band | 44 |
| Heft | 3 |
| Seiten | 349-374 |