Sökt på: Sökresultat
totalt 18 träffar
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 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 …