1 option
Wissenschaftliches Rechnen mit Ergebnisverifikation / hrsg. von Ulrich Kulisch.
- Format:
- Book
- Series:
- Mathematical Research Series
- Mathematical Research : Mathematische Forschung ; 58
- Language:
- German
- Subjects (All):
- Science--Data processing.
- Science.
- Programming languages (Computers).
- Electronic data processing--Congresses.
- Electronic data processing.
- Physical Description:
- 1 online resource (290 p.)
- Edition:
- Reprint 2021
- Place of Publication:
- Berlin ; Boston : De Gruyter, [2022]
- Language Note:
- In German.
- Summary:
- Keine ausführliche Beschreibung für "Wissenschaftliches Rechnen mit Ergebnisverifikation" verfügbar.
- 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
- Notes:
- Includes index.
- Description based on online resource; title from PDF title page (publisher's Web site, viewed 02. Mrz 2022)
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 3-11-257622-5
- OCLC:
- 1583184286
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.