KIT | KIT-Bibliothek | Impressum

Scientific computation with automatic result verification : [based on papers presented at a conference held Sept. 30 - Oct. 2, 1987 in Karlsruhe and co-sponsored by the Inst. for Applied Mathematics of Karlsruhe Univ. and GAMM Committee on "Computer Arithmetic and Scientific Computation]

Kulisch, Ulrich [Hrsg.]; Stetter, H.J. [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Angewandte und Numerische Mathematik (IANM)
Publikationstyp Proceedingsband
Jahr 1988
Sprache Englisch
Identifikator ISBN: 3-211-82063-9
ISSN: 0344-8029
KITopen ID: 1000043126
Verlag Springer, Wien
Serie Computing <Wien> / Supplementum ; 6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page