KIT | KIT-Bibliothek | Impressum | Datenschutz

Libraries, tools, and interactive systems for verified computations: Four case studies

Kearfott, R. Baker; Neher, Markus; Oishi, Shin'ichi; Rico, Fabien



Zugehörige Institution(en) am KIT Institut für Angewandte und Numerische Mathematik (IANM)
Publikationstyp Buchaufsatz
Jahr 2004
Sprache Englisch
Identifikator ISBN: 978-3-540-21260-7
ISSN: 0302-9743
KITopen-ID: 1000006505
Erschienen in Numerical software with result verification. Hrsg.: R. Alt.
Verlag Springer, Berlin
Seiten 36-63
Serie Lecture notes in computer science ; 2991
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page