Abstract
Mathematical structures such as intervals, vectors and matrices are only insufficiently considered by the usual computer arithmetic. In this paper a general and modular concept for computer arithmetic is proposed which finally covers all spaces occurring in numerical computations (see figure 1). The operations are performed following a uniform construction principle. It induces a set of mapping properties between real and rounded operations which by the way guarantees optimal accuracy.
Zusammenfassung
Mathematische Strukturen wie Intervalle, Vektoren und Matrizen werden durch die auf Rechenanlagen übliche Arithmetik nur unzureichend realisiert. Es wird hier eine allgemeine Rechnerarithmetik vorgestellt, die modular aufgebaut ist und die die beim numerischen Rechnen auftretenden Räume berücksichtigt. Dabei werden alle Verknüpfungen nach einem einheitlichen Konstruktionsprinzip durchgeführt, welches einen Semimorphismus zwischen reellen und gerundeten Operationen erzeugt und damit auch optimale Genauigkeit garantiert.
Similar content being viewed by others
References
Bohlender, G.: Genaue Berechnung mehrfacher Summen, Produkte und Wurzeln von Gleitkommazahlen und allgemeine Arithmetik in höheren Programmiersprachen. Dissertation, Universität Karlsruhe, 1978.
Bohlender, G.: Embedding universal computer arithmetic in higher programming languages. Computing24, 149–160 (1980).
Grüner, K.: Fehlerschranken für lineare Gleichungssysteme. Computing, Suppl. 1, pp. 47–55. Wien-New York: Springer 1977.
Grüner, K.: Allgemeine Rechnerarithmetik und deren Implementierung mit optimaler Genauigkeit. Dissertation, Universität Karlsruhe, 1979.
Kahan W.: Implementation of algorithms. Technical Report 20, University of California, Berkeley, 1973.
Knuth, D.: The art of computer programming, Vol. 2. Addison-Wesley 1969.
Kulisch, U.: Grundlagen des numerischen Rechnens. Mannheim-Wien-Zürich: Bibliographisches Institut 1976.
Kulisch, U., Miranker, W. L.: Computer arithmetic in theory and practice. IBM T. J. Watson Research Center, Report, 1979.
Rokne, J., Lancaster, P.: Complex interval arithmetic. Comm. ACM14, 111–112 (1967).
Schecher, H.: Funktioneller Aufbau digitaler Rechenanlagen. Berlin-Heidelberg-New York: Springer 1973.
Schmid, H.: Decimal computation. New York: J. Wiley 1974.
Spaniol, O.: Arithmetik in Rechenanlagen. Stuttgart: Teubner 1976.
Sterbenz, P. H.: Floating-point computation. Englewood Cliffs, N. J.: Prentice-Hall 1974.
Ullrich, Ch.: Über die beim numerischen Rechnen mit komplexen Zahlen vorliegenden mathematischen Strukturen. Computing14, 51–65 (1975).
Yohe, J. M.: Best possible floating-point arithmetic. MRC Technical Summary Report 1054, Madison, Wisconsin, 1970.
Yohe, J. M.: Roundings in floating-point arithmetic. IEEE Transactions on computersC-22, 577–586 (1973).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Grüner, K. Implementation of universal computer arithmetic with optimal accuracy. Computing 24, 181–193 (1980). https://doi.org/10.1007/BF02281723
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02281723