Zusammenfassung
Es wird gezeigt, daß sich die beim numerischen Rechnen mit Rechenanlagen auftretenden Räume, das sind insbesondere die Gleitkommasysteme, Vektoren und Matrizen über Gleitkommasystemen, die Komplexifizierungen dieser Räume, sowie die Intervalle über diesen Mengen durch zwei abstrakte Strukturen beschreiben lassen. Diese lassen sich bei geeigneter Definition der Verknüpfungen erklären als invariante Strukturen bezüglich monotoner und antisymmetrischer Rundungen in ein symmetrisches Raster.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Apostolatos, N., Christ, H., Santo, H., Wippermann, H.: Rounding Control and the Algorithmic Language ALGOL-68. Report, Universität Karlsruhe, Rechenzentrum, Juli 1968, S. 1-9.
Christ, H.: Realisierung einer Maschinenintervallarithmetik auf beliebigen ALGOL-60-Compilern. Elektronische Rechenanlage 10, 217–222 (1968).
Herzberger, J.: Metrische Eigenschaften von Mengensystemen und einige Anwendungen. Dr.-Dissertation, Universität Karlsruhe, 1969, S. 1-49.
[4] Knuth, D.: The Art of Computer Programming, Vol. 2. Addison-Wesley 1969.
[5] Kulisch, U.: An Axiomatic Approach to Rounded Computations. Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1020, Nov. 1969, p. 1-29, und Num. Math. 18, 1-17 (1971).
[6] Kulisch, U.: On the Concept of a Screen. Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1084, July 1970, S. 1-12, und ZAMM 53, 115-119 (1973).
[7] Kulisch, U.: Rounding Invariant Structures. Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1103, Sept. 1970, S. 1-47.
[8] Kulisch, U.: Interval Arithmetic over Completely Ordered Ringoids. The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1105, Sept. 1970, S. 1-56.
[9] Kulisch, U.: Grundlagen des Numerischen Rechnens — Mathematische Begründung der Rechnerarithmetik, S. 1-467. Mannheim-Wien-Zürich: Bibliographisches Institut 1976.
Kulisch, U.: Implementation and Formalization of Floating-Point Arithmetics. IBMT. J. Watson Research Center, Report Nr. R. C. 4608, Nov. 1973, p. 1-50, und Computing 14, 323–348 (1975).
Kulisch, U.: Über die Arithmetik von Rechenanlagen, in: Jahrbuch Überblicke Mathematik 1975, S. 68-108. Mannheim-Wien-Zürich: Wissenschaftsverlag des Bibliographischen Instituts.
Kulisch, U.: Ein Konzept für eine allgemeine Theorie der Rechnerarithmetik. In diesem Band, S. 95-105.
Lortz, B.: Eine Langzahlarithmetik mit optimaler einseitiger Rundung, Dr.-Dissertation, Universität Karlsruhe, 1971, S. 1-148.
Rutishauser, H.: Versuch einer Axiomatik des Numerischen Rechnens. Kurzvortrag, GAMM-Tagung, Aachen 1969.
Ullrich, Ch.: Rundungsinvariante Strukturen mit äußeren Verknüpfungen. Dr.-Dissertation, Universität Karlsruhe, 1972, S. 1-67.
Ullrich, Ch.: Über die beim numerischen Rechnen mit komplexen Zahlen und Intervallen vorliegenden mathematischen Strukturen. Computing 14, 51–65 (1975).
Wilkinson, J. H.: Rundungsfehler. Berlin-Heidelberg-New York: Springer 1969.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag/Wien
About this chapter
Cite this chapter
Kulisch, U. (1977). Über die beim numerischen Rechnen mit Rechenanlagen auftretenden Räume. In: Albrecht, R., Kulisch, U. (eds) Grundlagen der Computer-Arithmetik. Computing Supplementum, vol 1. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8471-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-7091-8471-4_10
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-81410-9
Online ISBN: 978-3-7091-8471-4
eBook Packages: Springer Book Archive