
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
U. Kulisch, "Mathematical Foundation of Computer Arithmetic," IEEE Transactions on Computers, vol. 26, no. 7, pp. 610621, July, 1977.  
BibTex  x  
@article{ 10.1109/TC.1977.1674893, author = {U. Kulisch}, title = {Mathematical Foundation of Computer Arithmetic}, journal ={IEEE Transactions on Computers}, volume = {26}, number = {7}, issn = {00189340}, year = {1977}, pages = {610621}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1977.1674893}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Mathematical Foundation of Computer Arithmetic IS  7 SN  00189340 SP610 EP621 EPD  610621 A1  U. Kulisch, PY  1977 KW  Axiomatic definition of computer arithmetic KW  floatingpoint arithmetic KW  interval arithmetic KW  numerical analysis KW  rounding analysis KW  theory and implementation of computer arithmetic. VL  26 JA  IEEE Transactions on Computers ER   
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.
Index Terms:
Axiomatic definition of computer arithmetic, floatingpoint arithmetic, interval arithmetic, numerical analysis, rounding analysis, theory and implementation of computer arithmetic.
Citation:
U. Kulisch, "Mathematical Foundation of Computer Arithmetic," IEEE Transactions on Computers, vol. 26, no. 7, pp. 610621, July 1977, doi:10.1109/TC.1977.1674893
Usage of this product signifies your acceptance of the Terms of Use.