Scientific computing with automatic result verification
| Zugehörige Institution(en) am KIT | Fakultät für Mathematik – Institut für Angewandte Mathematik (Inst. f. Ang. Math.) |
| Publikationstyp | Buch |
| Publikationsjahr | 1993 |
| Sprache | Englisch |
| Identifikator | ISBN: 0-12-044210-8 ISSN: 0076-5392 KITopen-ID: 893 |
| Verlag | Academic Press |
| Serie | Mathematics in science and engineering ; 189 |