Perspectives on enclosure methods : [selected papers on enclosure methods and validated numerics of SCAN-2000 Conference, GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, held at Universität Karlsruhe (TH), September 19 - 22, 2000]
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 2001 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-211-83590-3 KITopen-ID: 1000043129 |
| Verlag | Springer |