KIT | KIT-Bibliothek | Impressum

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
Jahr 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