Zugehörige Institution(en) am KIT | Fakultät für Mathematik – Institut für Angewandte Mathematik (Inst. f. Ang. Math.) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 2004 |
Sprache | Englisch |
Identifikator | ISBN: 3-540-21260-4 KITopen-ID: 1000012471 |
Erschienen in | Numerical software with result verification. Ed.: R. Alt |
Verlag | Springer-Verlag |
Seiten | 191-197 |
Serie | Lecture notes in computer science ; 2991 |