KIT | KIT-Bibliothek | Impressum | Datenschutz

C++ toolbox for verified computing. Vol. 1. Basic numerical problems

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


Originalveröffentlichung
DOI: 10.1007/978-3-642-79651-7
Dimensions
Zitationen: 14
Zugehörige Institution(en) am KIT Institut für Angewandte und Numerische Mathematik (IANM)
Publikationstyp Buch
Publikationsjahr 1997
Sprache Englisch
Identifikator ISBN: 978-3-642-79653-1
KITopen-ID: 68297
Verlag Springer Verlag
Umfang 382 S.
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page