Elements of Scientific Computing
In the past decades, computer performance has increased dramatically and is still doing so, putting tremendous power at the fingertips of every computer user. Many of these capabilities are used for new and complex functions and for a (hopefully) better user interface, but also sometimes wasted for questionable gadgets. Unfortunately, in the same time frame little has been done to increase the confidence in the answers computers produce in the scientific field, because, so far, computer designers are much more motivated by mass market needs than by scientific requirements. With the circuit densities achievable on computer chips today and with ‘clean’ architectures already in place, only very little additional effort would have to be spent to provide the means to allow computers to deliver results with guamntees, i.e. with verified accuracy.
KeywordsScientific Computing Interval Arithmetic Arithmetic Function Float Point Number Basic Arithmetic
Unable to display preview. Download preview PDF.
- 1.Kulisch U. W., Miranker W. L. (1981) Computer Arithmetic in Theory and Practice, Academic Press, New York.Google Scholar
- 2.Kulisch U. W., Miranker W. L., eds. (1983) A New Approach to Scientific Computation, Academic Press, New York.Google Scholar
- 3.IBM (1983) High-Accuracy Arithmetic Subroutine Library, Program No. 5664-185, General Information Manual, GC-33-6163-0, and Program Description and User’s Guide, SC-33-6164-1.Google Scholar
- 4.IBM (1984) IBM S/370 RPQ High-Accuracy Arithmetic, SA-22-7093-0. 5. ANSI/IEEE (1985) A Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std. 754-1985, New York, printed in SIGPLAN 22, 2 (1987), pp. 9-25.Google Scholar
- 6.IBM (1986) High-Accuracy Arithmetic Subroutine Library, Program No. 5665-337/5666-320 General Information Manual, GC-33-6163-02, and Program Description and User’s Guide, SC-33-6164-02.Google Scholar
- 7.Bleher J. H., Rump S. M., Kulisch U. W., Metzger M., Ullrich Ch., Walter W. (1987, 1988) FORTRAN-SC, A Study of a FORTRAN Extension for Engineering/ Scientific Computation with Access to ACRITH, Computing 39 and Computing, Suppl. 6. 8. Adams E., Kulisch U. W., eds. (1993) Scientific Computing with Automatie Result Verification, Academic Press, New York.Google Scholar
- 9.Kulisch U. W., Teufel T., HöfHinger B. (1994) Genauer und trotzdem schneller, ein neuer Coprozessor für hochgenaue Matrix- und Vektoroperationen, Electronic 26, Franzis, Poing.Google Scholar
- 10.Gustafson J. (1998) Computational Verifiability and Feasibility of the ASCI Program, IEEE Computational Science and Engineering, January-March 1998.Google Scholar