Ulrich Kulisch, University Karlsruhe.
9 Ebooks von Ulrich Kulisch
Ulrich Kulisch: Computer Arithmetic and Validity
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 …
PDF
Englisch
DRM
€154.95
Rudi Klatte & Ulrich Kulisch: C-XSC
C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. …
PDF
Englisch
DRM
€111.88
Rudi Klatte & Ulrich Kulisch: PASCAL-XSC
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL e Xtension for Scientific Computation). The language is the result of a long term effort of …
PDF
Englisch
DRM
€56.09
Rolf Hammer & Matthias Hocks: Numerical Toolbox for Verified Computing I
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 …
PDF
Englisch
DRM
€112.56
Rolf Hammer & Matthias Hocks: C++ Toolbox for Verified Computing I
Our aim in writing this book was to provide an extensive set of C++ programs for solving basic numerical problems with verification of the results. This C++ Toolbox for Verified Computing I is the …
PDF
Englisch
DRM
€124.16
Rudi Klatte & Ulrich Kulisch: PASCAL-XSC
PASCAL-XSC (PASCAL-e
Xtension for
Scientific
Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere im Bereich …
PDF
Deutsch
DRM
€44.88
Axel Facius & Ulrich Kulisch: Perspectives on Enclosure Methods
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same …
PDF
Englisch
DRM
€56.09
Ulrich Kulisch & Hans J. Stetter: Scientific Computation with Automatic Result Verification
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have …
PDF
Englisch
DRM
€55.97
