Grundlagen des verifizierten numerischen Rechnens
| Zugehörige Institution(en) am KIT | Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung (IWRMM) |
| Publikationstyp | Buch |
| Publikationsjahr | 1996 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 340396 |
| Erscheinungsvermerk | Z. f. angew. Math. u. Mech. 75 (1995) S. S425-S428. |