Numerical Toolbox for Verified Computing I
- Basic Numerical Problems -
Springer-Verlag,
Heidelberg (ISBN 3-540-57118-3),
New York (ISBN 0-387-57118-3),
1993.
Zusammenfassung
Dieses Buch stellt eine große Auswahl von Hilfsmitteln zur Lösung wichtiger
Aufgabenstellungen der numerischen Mathematik mit Ergebnisverifikation
vor. Die Autoren bedienen sich dabei der Sprache PASCAL-XSC, die besonders
für das wissenschaftliche Rechnen geeignet ist. Das Buch enthält
implementierte Algorithmen, viele Beispiele und Übungsaufgaben.
Ausführliche Auszüge aus dem Inhalt des
ersten Bandes können im Postscript-Format abgerufen werden. Einige der
behandelten Themen sind nicht in den Standardlehrbüchern der Numerischen
Mathematik enthalten. Die Lektüre dieses Buches ist für Ingenieure,
Mathematiker und Naturwissenschaftler, die sich mit wissenschaftlichem Rechnen
beschäftigen, sicherlich ein großer Gewinn.
Programme zum Buch
Die PASCAL-XSC Programme zum Buch sind in Source-Code erhältlich über
http://www2.math.uni-wuppertal.de/org/WRST/xsc/download.html