Numerical toolbox for verified computing. Bd. 1. Basic numerical problems
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Buch |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 100694 |
| Erscheinungsvermerk | Berlin 1993. (Springer series in computational mathematics. 21.) |