KIT | KIT-Bibliothek | Impressum | Datenschutz

Numerical toolbox for verified computing. Bd. 1. Basic numerical problems

Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar



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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page