Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.357
Fulltext available Open Access
Title: Rechnervorfuehrung : Pakete fuer Standardprobleme der Numerik
Language: German
Authors: Rump, Siegfried M. 
Issue Date: 1982
Source: U. Kulisch, Hrsg.: Wissenschaftliches Rechnen mit Ergebnisverifikation, 1982, S. 29-50
Abstract (german): 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
DOI: 10.15480/882.357
ISBN: 3-528-08943-1
Institute: Zuverlässiges Rechnen E-19 
Type: InBuch (Kapitel / Teil einer Monographie)
License: http://doku.b.tu-harburg.de/doku/lic_ohne_pod.php
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
S0001118.pdf389,15 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

277
Last Week
0
Last month
5
checked on Sep 30, 2020

Download(s)

69
checked on Sep 30, 2020

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.