Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kulisch U. W., Miranker W. L. (1981) Computer Arithmetic in Theory and Practice, Academic Press, New York.
Kulisch U. W., Miranker W. L., eds. (1983) A New Approach to Scientific Computation, Academic Press, New York.
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.
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.
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.
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.
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.
Gustafson J. (1998) Computational Verifiability and Feasibility of the ASCI Program, IEEE Computational Science and Engineering, January-March 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Wien
About this chapter
Cite this chapter
Bleher, J.H. (2001). Elements of Scientific Computing. In: Kulisch, U., Lohner, R., Facius, A. (eds) Perspectives on Enclosure Methods. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6282-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6282-8_4
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83590-6
Online ISBN: 978-3-7091-6282-8
eBook Packages: Springer Book Archive