Wissenschaftliches Rechnen mit Ergebnisverifikation / / hrsg. von Ulrich Kulisch.

• Superior document: Title is part of eBook package: De Gruyter DGBA Mathematics - <1990
• MitwirkendeR: Cordes, D.,; Fischer, H. -C.,; Kaucher, E.,; Klatte, R.,; Krämer, W.,; Kulisch, U.,; Lohner, R.,; Mayer, G.,; Metzger, M.,; Neaga, M.,; Rump, S. M.,; Schumacher, G.,; Walter, W.,; Wolff von Gudenberg, J.,
• HerausgeberIn: Kulisch, Ulrich,
• Place / Publishing House: Berlin ;, Boston : : De Gruyter, , [2022]; ©1989
• Year of Publication: 2022
• Edition: Reprint 2021
• Language: German
• Series: Mathematical Research : Mathematische Forschung ; 58
• Physical Description: 1 online resource (290 p.)

Table of Contents

• Frontmatter
• Vorwort
• Inhaltsverzeichnis
• Zeitgemäße Rechnerarithmetik
• Übersicht über neue Programmiersprachen für wissenschaftliches Rechnen
• FORTRAN-SC Eine FORTRAN-Erweiterung für wissenschaftliches Rechnen
• PASCAL-SC Eine PASCAL-Erweiterung für wissenschaftliches Rechnen
• CALCULUS
• Grundbegriffe der Intervallrechnung
• Lineare Probleme
• Spärlich besetzte Matrizen
• Lösung nichtlinearer Gleichungen mit Verifikation des Ergebnisses
• Genaue Auswertung von Polynomen und Ausdrücken
• Vom Problem zum Einschließungsalgorit hmus
• Einschließungen bei Anfangs- und Randwertaufgaben gewöhnlicher Differentialgleichungen
• Praktikum „Einschließung bei Differentialgleichungen"
• Methoden zur Lösung von Integral und Differentialgleichungen
• Einschließung der Lösung von linearen Gleichungssystemen auf Vektorrechnern
• Esprit-Projekt DIAMOND
• Anhang
• Stichwortverzeichnis
• Backmatter