| 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 |