Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Buch |
| Publikationsjahr | 1989 |
| Sprache | Deutsch |
| Identifikator | ISBN: 3-05-500816-2 ISSN: 0138-3019 KITopen-ID: 1000043127 |
| Verlag | Akademie Verlag |
| Serie | Mathematical research ; 58 |