Bøger af Ulrich Kulisch

This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics.

Was ist los in der Mathematik? Das fragen sich viele Mathematiker, aber auch alle, die früher einmal Mathematik gelernt haben und jetzt in anderen Feldern der Wissenschaft und Wirtschaft tätig sind. Sie wollen einen profunden, aber leicht lesbaren Überblick über das, was sich in diesem Zweig der Wissenschaft tut, wollen aber auch etwas über Menschen erfahren, die dieses Feld prägen. "Überblicke Mahematik" bietet dies alles und noch viel mehr, z. B. auch, was Politiker von Mathematik halten. Die Herausgeber - allesamt ausgewiesene Fachleute auf ihrem Gebiet - zeigen, daß man bei der Lektüre eines Mathematikbuches nicht verzweifeln muß, sondern auch "einfach so" viel über neue Gebiete und Entwicklungen erfahren kann.

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.

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It consists of an introduction to advanced computer arithmetic, a chapter describing the programming languages C and C++, the major chapter "C-XSC Reference", sample programs, and indices.