Bøger af Dietmar Ratz

PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere im Bereich technisch-wissenschaftlicher Anwendungen, durch zusätzliche Sprachkonzepte wie Module, dynamische Felder und Operatoren erheblich zu vereinfachen. Eine optimale Arithmetik mit hochgenauen Standardfunktionen und exakter Ausdrucksauswertung ermöglicht eine automatisierte, zuverlässige Kontrolle der berechneten Ergebnisse. Damit unterstützt PASCAL-XSC die Entwicklung von Routinen mit automatischer Ergebnisverifikation. Mittels der Compiler-Implementierung in C kann PASCAL-XSC auf PC's, Workstations, Großrechnern und Supercomputern gleichermaßen eingesetzt werden. In dem vorliegenden Lehr- und Handbuch wird PASCAL-XSC vollständig beschrieben. Zur praktischen Verwendung und zum leichteren Kennenlernen und Vertrautwerden mit den über PASCAL hinausgehenden neuen Sprachelementen ist ein ausführlicher Abschnitt mit Übungsaufgaben und Lösungen aufgenommen worden. Ein kompletter Satz von Syntaxdiagrammen, sowie ausführliche Register und Verzeichnisse schließen dieses Buch ab.

Theory, Algorithms, and Programs

As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results.