Options
Rechnervorfuehrung : Pakete fuer Standardprobleme der Numerik
Citation Link: https://doi.org/10.15480/882.357
Publikationstyp
Book Part
Date Issued
1982
Sprache
German
Author(s)
Institut
TORE-DOI
Citation
U. Kulisch, Hrsg.: Wissenschaftliches Rechnen mit Ergebnisverifikation, 1982, S. 29-50
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.
(...)
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.
(...)
Loading...
Name
S0001118.pdf
Size
389.15 KB
Format
Adobe PDF