Hakutulokset: Kirjoja kirjailijalta Ulrich Kulisch
yhteensä 25 hakutulosta
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 …
Advanced Arithmetic for the Digital Computer
The number one requirement for computer arithmetic has always been speed. It is the main force that drives the technology. With increased speed larger problems can be attempted. To …
Computer Arithmetic in Theory and Practice
Computer Arithmetic in Theory and Practice deals with computer arithmetic and the various implementations of the entire arithmetic package on diverse processors, including …
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 …
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 …
Pascal-Xsc
PASCAL-XSC (PASCAL-eXtension for Scientific Computation) ist eine Erweiterung der weitverbreiteten Programmiersprache PASCAL. Sie verfolgt das Ziel, das Programmieren, insbesondere …
Wissenschaftliches Rechnen Mit Ergebnisverifikation
Überblicke Mathematik 1996/97
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 …
PASCAL-XSC
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language is the result of a …
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 …
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 …
New Approach to Scientific Computation
A New Approach to Scientific Computation is a collection of papers delivered at a symposium held at the IBM Thomas J. Watson Research Center on August 3, 1982. The symposium …