KIT | KIT-Bibliothek | Impressum

C++ toolbox for verified computing. Vol. 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 1997
Sprache Englisch
Identifikator DOI: 10.1007/978-3-642-79651-7
ISBN: 978-3-642-79653-1
KITopen ID: 68297
Verlag Springer, Berlin
Umfang 382 S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page