Titel: Rechnervorfuehrung : Pakete fuer Standardprobleme der Numerik
Sprache: Deutsch
Autor/Autorin: Rump, Siegfried M.
Erscheinungsdatum: 1982
Quellenangabe: U. Kulisch, Hrsg.: Wissenschaftliches Rechnen mit Ergebnisverifikation, 1982, S. 29-50
Zusammenfassung (deutsch): Dies ist eine kurze Demonstration des Systems PASCAL-SC. Der Rechner verfuegt ueber eine genaue Gleitpunkt-Arithmetik und ein genaues Skalarprodukt. Dies gestattet es, nicht nur Naeherungsloesungen eines Problems zu berechnen, sondern es koennen sogar Bereiche angegeben werden, in denen sich genau eine Loesung des gestellten Problems befindet. Und dies fuer lineare Gleichungssysteme ebenso wie fuer Eigenwerte/Eigenvektoren, Nullstellen von Polynomen, Loesung von Differenttialgleichungen etc. Dabei wird die Existenz und Eindeutigkeit der Loesung in den ausgegebenen Schranken vom Rechner vollautomatisch bewiesen ohne jedes Hinzutun seitens des Benutzers. Die Spracherweiterung PASCAL-SC (Pascal for Scientific Computation) gestattet es, die Programme in einfacher und uebersichtlicher Form zu entwerfen und zu schreiben. (...)
URI: http://tubdok.tub.tuhh.de/handle/11420/359
URN: urn:nbn:de:gbv:830-tubdok-4307
DOI: 10.15480/882.357
ISBN: 3-528-08943-1
Institut: Zuverlässiges Rechnen E-19
Reliable Computing E-19
Dokumenttyp: InBuch (Kapitel / Teil einer Monographie)
Enthalten in den Sammlungen:tub.dok

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
S0001118.pdf389,15 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen

Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.