Wissenschaftliches Rechnen mit Ergebnisverifikation
Akademie-Verlag ,
Volume 58
Berlin (ISBN 3-05-500816-2),
1989.
Zusammenfassung
Der vorliegende Band soll als Einführung in die Entwicklung und Anwendung numerischer Algorithmen, welche eine automatische Verifikation des berechneten Ergebnisses durch den Rechner selbst ermöglichen, dienen. Die einzelnen Beiträge hängen nur lose miteinander zusammen, bauen aber aufeinander auf, wobei sich jeder einem anderen Gegenstand zuwendet. Der erste Artikel gibt eine kurze Einführung in die zugrunde liegende, zeitgemäße Rechnerarithmetik. es werden dann Programmiersprachen und Programmierumgebungen besprochen, welche eine automatische Ergebnisverifikation unterstützen. Eine Vertrautheit mit grundlegenden Eigenschaften der Intervallrechnung ist dazu nötig. Die folgenden Beiträge stellen dan an Hand von Beispielen für breit gestreute Probleme aus der Numerischen Mathematik Algorithmen mit automatischer ergebnisverifikation vor. Es wird auch deren Übertragung auf Vektorrechner untersucht.
Institut für Angewandte Mathematik
- zuletzt geändert am 7.12.1995