DocumentCode
1135161
Title
Mathematical Foundation of Computer Arithmetic
Author
Kulisch, Ulrich
Author_Institution
Institute of Applied Mathematics, University of Karlsruhe
Issue
7
fYear
1977
fDate
7/1/1977 12:00:00 AM
Firstpage
610
Lastpage
621
Abstract
During recent years a number of papers concerning a mathematical foundation of computer arithmetic have been written. Some of these papers are still unpublished. The papers consider the spaces which occur in numerical computations on computers depending on a properly defined computer arithmetic. The following treatment gives a summary of the main ideas of these papers. Many of the proofs had to be sketched or completely omitted. In such cases the full information can be found in the references.
Keywords
Axiomatic definition of computer arithmetic, floating-point arithmetic, interval arithmetic, numerical analysis, rounding analysis, theory and implementation of computer arithmetic.; Algorithm design and analysis; Digital arithmetic; Floating-point arithmetic; Mathematics; Numerical analysis; Virtual colonoscopy; Virtual reality; Axiomatic definition of computer arithmetic, floating-point arithmetic, interval arithmetic, numerical analysis, rounding analysis, theory and implementation of computer arithmetic.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1977.1674893
Filename
1674893
Link To Document