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]
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 1988 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-211-82063-9 ISSN: 0344-8029 KITopen-ID: 1000043126 |
| Verlag | Springer |
| Serie | Computing <Wien> / Supplementum ; 6 |