Rump, Siegfried M.Siegfried M.Rump2008-06-242008-06-241982U. Kulisch, Hrsg.: Wissenschaftliches Rechnen mit Ergebnisverifikation, 1982, S. 29-50http://tubdok.tub.tuhh.de/handle/11420/359Dies 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. (...)dehttp://doku.b.tu-harburg.de/doku/lic_ohne_pod.phpRechnervorfuehrung : Pakete fuer Standardprobleme der NumerikBook Part2008-06-25urn:nbn:de:gbv:830-tubdok-430710.15480/882.35711420/35910.15480/882.357930767643Other