KIT | KIT-Bibliothek | Impressum

Scientific computing with automatic result verification

Adams, Ernst [Hrsg.]; Kulisch, Ulrich [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Publikationstyp Buch
Jahr 1993
Sprache Englisch
Identifikator ISBN: 0-12-044210-8
ISSN: 0076-5392
KITopen ID: 893
Verlag Academic Press, Boston
Serie Mathematics in science and engineering ; 189
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page