Numerical Algorithms with Automatic Result Verification
| Zugehörige Institution(en) am KIT | Institut für Angewandte und Numerische Mathematik (IANM) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-8218-0530-4 KITopen-ID: 1000042849 |
| Erschienen in | The Mathematics of Numerical Analysis - AMS-SIAM Summer Seminar in Applied Mathematics, Park City, Utah/USA, July 17 - August 11, 1995. Ed.: J. Renegar |
| Verlag | AMS |
| Seiten | 471-502 |