{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:06:32Z","timestamp":1757311592115},"publisher-location":"Vienna","reference-count":83,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835906"},{"type":"electronic","value":"9783709162828"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6282-8_2","type":"book-chapter","created":{"date-parts":[[2011,9,16]],"date-time":"2011-09-16T10:23:43Z","timestamp":1316168623000},"page":"15-70","source":"Crossref","is-referenced-by-count":2,"title":["Advanced Arithmetic for the Digital Computer \u2014 Interval Arithmetic Revisited"],"prefix":"10.1007","author":[{"given":"Ulrich W.","family":"Kulisch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Adams, E.; Kuliseh, U.(eds.): Scientifie Computing with Automatie Result Verifieation. I. Language and Programming Support for Verified Scientific Computation, 11\u2019. Enclosure Methods and Algorithms with Automatie Result Verification, 111\u2019. Applications in the Engineering Sciences. Academic Press, San Diego, 1993 (ISBN 0-12-044210-8)."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Albrecht, R.; Alefeld, G.; Stetter, H.J. (Eds.): Validation Numerics- Theory and Applicdtions. Computing Supplementum 9, Springer-Verlag, Wien \/ New York, 1993.","DOI":"10.1007\/978-3-7091-6918-6"},{"key":"2_CR3","volume-title":"Intervallrechnung \u00fcber den komplexen Zahlen und einige Anwendungen","author":"A G","year":"1968","unstructured":"Alefeld, G.: Intervallrechnung \u00fcber den komplexen Zahlen und einige Anwendungen. Dissertation, Universit\u00e4t Karlsruhe, 1968."},{"key":"2_CR4","first-page":"161","volume":"6","author":"A G","year":"1970","unstructured":"Alefeld, G.: \u00dcber die aus monoton zerlegbaren Operatoren gebildeten Iterationsverfahren. Computing 6, pp. 161\u2013172, 1970.","journal-title":"\u00dcber die aus monoton zerlegbaren Operatoren gebildeten Iterationsverfahren"},{"key":"2_CR5","unstructured":"Alefeld, G.; Herzberger, J.: Einf\u00fchrung in die Intervallreehnung. Bibliographisches Institut (Reihe Informatik, Nr. 12), Mannheim \/ Wien \/ Z\u00fcrich, 1974 (ISBN 3-411-01466-0)."},{"key":"2_CR6","unstructured":"Alefeld, G.; Herzberger, J.: An Introduetion to Interval Computations. Academic Press, New York, 1983 (ISBN 0-12-049820-0)."},{"key":"2_CR7","unstructured":"Alefeld, G.; Mayer, G.: Einschlie\u00dfungsverfahren. In [22, pp. 155-186], 1995."},{"key":"2_CR8","unstructured":"Alefeld, G.; Frommer, A.; Lang, B. (eds.): Scientific Computing and Validated Numerics. Proceedings of SCAN-95. Akademie Verlag, Berlin, 1996. ISBN 3-05-501737-4"},{"key":"2_CR9","unstructured":"Baumhof, Ch.: Ein Vektorarithmetik-Koprozessor in VLSI-Technik zur Unterst\u00fctzung des Wissenschaftlichen Rechnens. Dissertation, Universit\u00e4t Karlsruhe, 1996."},{"key":"2_CR10","volume-title":"PASCAL-XSC, BCD- Version 1.0, Benutzerhandbuch f\u00fcr das dezimale Laufzeitsystem","author":"B F","year":"1997","unstructured":"Blomquist, F.: PASCAL-XSC, BCD- Version 1.0, Benutzerhandbuch f\u00fcr das dezimale Laufzeitsystem. Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1997."},{"key":"2_CR11","unstructured":"Bohlender, G.; Rall, L. B.; Ullrich, Ch.; Wolff v. Gudenberg, J.: PASCAL-SC: Wirkungsvoll programmieren, kontrolliert rechnen. Bibliographisches Institut, Mannheim \/ Wien \/ Z\u00fcrich, 1986 (ISBN 3-411-03113-1)."},{"key":"2_CR12","unstructured":"Bohlender, G.; Rall, L. B.; Ullrich, Ch.; Wolfr v. Gudenberg, J.: PASCAL-SC: A Computer Language for Scientijic Computation. Perspectives in Computing, Vol. 17, Academic Press, Orlando, 1987 (ISBN 0-12-111155-5)."},{"key":"2_CR13","first-page":"1","volume-title":"Literature on Enclosure Methods and Related Topics","author":"B G","year":"2000","unstructured":"Bohlender, G.: Literature on Enclosure Methods and Related Topics. Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, pp. 1\u201368, 2000."},{"key":"2_CR14","volume-title":"Funktionalanalysis und numerische Mathematik","author":"C L","year":"1968","unstructured":"Collatz, L.: Funktionalanalysis und numerische Mathematik. Springer-Verlag, Berlin \/ Heidelberg \/ New York, 1968."},{"key":"2_CR15","volume-title":"Schnelle automatische Differentiation, Einschliepungsmethoden und Anwendungen","author":"F H.-C","year":"1990","unstructured":"Fischer, H.-C.: Schnelle automatische Differentiation, Einschliepungsmethoden und Anwendungen. Dissertation, Universit\u00e4t Karlsruhe, 1990."},{"key":"2_CR16","unstructured":"Fischer, H.: Automatisches Differenzieren. In [22, pp. 53\u2013104), 1995."},{"key":"2_CR17","volume-title":"Numerical Toolbox Cor Verified Computing I: Basic Numerical Problems","author":"H R","year":"1993","unstructured":"Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.: Numerical Toolbox Cor Verified Computing I: Basic Numerical Problems. (Vol. 11 see [31], version in C++ see [18]) Springer-Verlag, Berlin \/ Heidelberg \/ New York, 1993."},{"key":"2_CR18","volume-title":"C++ Toolbox Cor Verified Computing: Basic Numerical Problems","author":"H R","year":"1995","unstructured":"Hammer, R.; Hocks, M.; Kulisch, U.; Ratz, D.: C++ Toolbox Cor Verified Computing: Basic Numerical Problems. Springer-Verlag, Berlin \/ Heidelberg \/ New York, 1995."},{"key":"2_CR19","volume-title":"Topics in Interval Analysis","author":"H E","year":"1969","unstructured":"Hansen, E.: Topics in Interval Analysis. Clarendon Press, Oxford, 1969."},{"key":"2_CR20","volume-title":"Global Optimization Using Interval Analysis","author":"H E","year":"1992","unstructured":"Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker Inc., New York\/Basel\/Hong Kong, 1992."},{"key":"2_CR21","unstructured":"Herzberger, J. (ed.): Topics in Validated Computations. Proceedings of IMACS-GAMM International Workshop on Validated Numerics, Oldenburg, 1993. North Holland, 1994."},{"key":"2_CR22","unstructured":"Herzberger, J.: Wissenschaftliches Rechnen, Eine Einf\u00fchrung in das Scientijfic Computing. Akademie Verlag, 1995."},{"key":"2_CR23","volume-title":"\u00dcber metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender R\u00e4ume","author":"K E","year":"1973","unstructured":"Kaucher, E.: \u00dcber metrische und algebraische Eigenschaften einiger beim numerischen Rechnen auftretender R\u00e4ume. Dissertation, Universit\u00e4t Karlsruhe, 1973."},{"key":"2_CR24","first-page":"65","volume-title":"Grundlagen der Computerarithmetik","author":"K E","year":"1977","unstructured":"Kaucher, E.: Algebraische Erweiterungen der Intervallrechnung unter Erhaltung der Ordnungs- und Verbandsstrukturen. In: Albrecht, R.; Kulisch, U. (Eds.): Grundlagen der Computerarithmetik. Computing Supplementum 1. SpringerVerlag, Wien \/ New York, pp. 65\u201379, 1977."},{"key":"2_CR25","first-page":"81","volume-title":"Grundlagen der Computerarithmetik","author":"K E","year":"1977","unstructured":"Kaucher, E.: \u00dcber Eigenschaften und Anwendungsm\u00f6glichkeiten der erweiterten Intervallrechnung und des hyperbolischen Fastk\u00f6rpers \u00fcber R. In: Albrecht, R.; Kulisch, U. (Eds.): Grundlagen der Computerarithmetik. Computing Supplementum 1. Springer-Verlag, Wien \/ New York, pp. 81\u201394, 1977."},{"key":"2_CR26","unstructured":"Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, Ch.: PASCALXSC - Sprachbeschreibung mit Beispielen. Springer-Verlag, Berlin\/Heidelberg\/New York, 1991 (ISBN 3-540-53714-7, 0-387-53714-7)."},{"key":"2_CR27","volume-title":"PASCALXSC - Language ReCerence with Examples","author":"K R","year":"1992","unstructured":"Klatte, R.; Kulisch, U.; Neaga, M.; Ratz, D.; Ullrich, Ch.: PASCALXSC - Language ReCerence with Examples. Springer-Verlag, Berlin\/Heidelberg\/New York, 1992."},{"key":"2_CR28","volume-title":"C-XSC, A C++ Class Library Cor Extended Scientific Computing","author":"K R","year":"1993","unstructured":"Klatte, R.; Kulisch, U.; Lawo, C.; Rauch, M.; Wiethoff, A.: C-XSC, A C++ Class Library Cor Extended Scientific Computing. Springer-Verlag, Berlin\/Heidelberg\/New York, 1993."},{"key":"2_CR29","unstructured":"Klatte, Rj Kulisch, U.j Neaga, M.j Ratz, D.j Ullrieb, Ch.: PASCAL-XSC - Language Reference with Examples (In Russian). Moscow, 1994, second edition 2000."},{"key":"2_CR30","volume-title":"Hardwareentwurf eines Rechenwerks f\u00fcr semimorphe Skalar- und Vektoroperationen unter Ber\u00fccksichtigung der Anforderungen verifizierender Algorithmen","author":"K A","year":"1991","unstructured":"Kn\u00f6fel, A.: Hardwareentwurf eines Rechenwerks f\u00fcr semimorphe Skalar- und Vektoroperationen unter Ber\u00fccksichtigung der Anforderungen verifizierender Algorithmen. Dissertation, Universit\u00e4t Karlsruhe, 1991."},{"key":"2_CR31","volume-title":"Numerical Toolbox for Verified Computing II: Theory, Algorithms and Pascal-XSC Programs","author":"K W","year":"2001","unstructured":"Kr\u00e4mer, W.; Kuliseh, U.; Lohner, R: Numerical Toolbox for Verified Computing II: Theory, Algorithms and Pascal-XSC Programs. (Vol. I see [17, 18]) SpringerVerlag, Berlin \/ Heidelberg \/ New York, to appear 2001."},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"K R","year":"1985","unstructured":"Krawczyk, R.; Neumaier, A.: Interval Slopes for Rational Functions and Associated Centered Forms. SIAM Journal on Numerical Analysis 22, pp. 604\u2013616, 1985.","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"2_CR33","volume-title":"Reihe Informatik","author":"K U","year":"1976","unstructured":"Kuliseb, U.: Grundlagen des Numerischen Rechnens- Mathematische Begr\u00fcndung der Rechnerarithmetik. Reihe Informatik, Band 19, Bibliographisches Institut, Mannheim\/Wien\/Z\u00fcrieb, 1976 (ISBN 3-411-01517-9)."},{"key":"2_CR34","volume-title":"Computer Arithmetic in Theory and Practice","author":"K U","year":"1981","unstructured":"Kuliseh, U.; Miranker, W. L.: Computer Arithmetic in Theory and Practice. Academic Press, New York, 1981 (ISBN 0-12-428650-x)."},{"key":"2_CR35","volume-title":"Proceedings of Seminar held in Karlsruhe, April 2-3, 1982. Berichte des German Chapter of the ACM","author":"K U","year":"1982","unstructured":"Kuliseh, U.; Ullrich, Ch. (Eds.): Wissenschaftliches Rechnen und Programmiersprachen. Proceedings of Seminar held in Karlsruhe, April 2-3, 1982. Berichte des German Chapter of the ACM, Band 10, B. G. Teubner Verlag, Stuttgart, 1982 (ISBN 3-519-02429-2)."},{"key":"2_CR36","volume-title":"Proceedings of Symposium held at IBM Research Center, Yorktown Heights, N. Y., 1982","author":"K U","year":"1983","unstructured":"Kuliseh, U.; Miranker, W. L. (Eds.): A New Approach to Scientific Computation. Proceedings of Symposium held at IBM Research Center, Yorktown Heights, N. Y., 1982. Academic Press, New York, 1983 (ISBN 0-12-428660-7)."},{"key":"2_CR37","unstructured":"Kulisch, U. (Ed.): PASCAL-SC: A PASCAL extension for scientific computation, Information Manual and Floppy Disks, Version IBM PC\/ AT; Operating System DOS\u2019. B. G. Teubner Verlag (Wiley-Teubner series in computer science), Stuttgart, 1987 (ISBN 3-519-02106-4 \/ 0-471-91514-9)."},{"key":"2_CR38","unstructured":"Kulisch, U. (Ed.): PASCAL-SC: A PASCAL extension for scientific computation, Information Manual and Floppy Disks, Version ATARI ST\u2019. B. G. Teubner Verlag, Stuttgart, 1987 (ISBN 3-519-02108-0)."},{"key":"2_CR39","volume-title":"Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einitihrung","author":"K U. Ed.","year":"1989","unstructured":"Kulisch, U. (Ed.): Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einitihrung. Ausgearbeitet von S. Ge\u00f6rg, R. Hammer und D. Ratz. Vol. 58. Akademie Verlag, Berlin, und Vieweg Verlagsgesellschaft, Wiesbaden, 1989."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Kulisch, U.: Advanced Aithmetic for the Digital Computer- Design of Arithmetic Units. Electronic Notes of Theoretical Computer Science, http:\/\/wwv.elsevier.nl\/locate\/entcs\/volume24.html pp. 1-72, 1999.","DOI":"10.1016\/S1571-0661(05)80622-X"},{"key":"2_CR41","volume-title":"Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen","author":"L R","year":"1988","unstructured":"Lohner, R: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Universit\u00e4t Karlsruhe, 1988."},{"key":"2_CR42","unstructured":"Lohner, R: Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems. pp. 425-435 in: Cash, J. R.; Gladwell, I. (Eds.): Computational Ordinary Differential Equations. Clarendon Press, Oxford, 1992."},{"key":"2_CR43","first-page":"101","volume":"39","author":"M G","year":"1989","unstructured":"Mayer, G.: Grundbegriffe der Intervallrechnung. In [39, pp. 101\u2013117], 1989.","journal-title":"Grundbegriffe der Intervallrechnung"},{"key":"2_CR44","unstructured":"Moore, R. E.: Interval Analysis. Prentice Hall Inc., Englewood Cliffs, N. J.; 1966."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Moore, R. E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia, Pennsylvania, 1979.","DOI":"10.1137\/1.9781611970906"},{"key":"#cr-split#-2_CR46.1","unstructured":"21. Moore, R. E. (Ed.): Reliability in Computing: The Role of Interval Methods in Scientijic Computing. Proceedings of the Conference at Columbus, Ohio, September 8-11, 1987"},{"key":"#cr-split#-2_CR46.2","unstructured":"22. Perspectives in Computing 19, Academic Press, San Diego, 1988 (ISBN 0-12-505630-3)."},{"key":"2_CR47","volume-title":"Interval Methods for Systems of Equations","author":"N A","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990."},{"issue":"11","key":"2_CR48","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1090\/S0002-9904-1947-08909-6","volume":"53","author":"N J von","year":"1947","unstructured":"Neumann, J. von; Goldstine, H. H.: Numerical Inverting of Matrices of High Order. Bulletin of the American Mathematical Society, 53, 11, pp. 1021\u20131099, 1947.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"2_CR49","volume-title":"Lecture Notes in Computer Science","author":"R L. B","year":"1981","unstructured":"Rall, L. B.: Automatie Differentiation: Techniques and Applications. Lecture Notes in Computer Science, No. 120, Springer-Verlag, Berlin, 1981."},{"key":"2_CR50","volume-title":"Computer Methods for the Range of Functions","author":"R H","year":"1984","unstructured":"Ratschek, H.; Rokne, J.: Computer Methods for the Range of Functions. Ellis Horwood Limited, Chichester, 1984."},{"key":"2_CR51","unstructured":"Ratz, D.: Programmierpraktikum mit PASCAL-SC. In: H\u00f6hler, G.; Staudenmaier, H. M. (Hrsg.): Computer Theoretikum und Praktikum f\u00fcr Physiker. Band 5, Fachinformationszentrum Karlsruhe, 1990."},{"key":"2_CR52","volume-title":"Globale Optimierung mit automatischer Ergebnisverijikation","author":"R D","year":"1992","unstructured":"Ratz, D.: Globale Optimierung mit automatischer Ergebnisverijikation. Dissertation, Universit\u00e4t Karlsruhe, 1992."},{"key":"2_CR53","volume-title":"Automatie Slope Computation and its Application in Nonsmooth Global Optimization","author":"R D","year":"1998","unstructured":"Ratz, D.: Automatie Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen, 1998."},{"key":"2_CR54","volume-title":"On Extended Interval Arithmetic and Inclusion Isotony","author":"R D","year":"1999","unstructured":"Ratz, D.: On Extended Interval Arithmetic and Inclusion Isotony. Preprint, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1999."},{"key":"2_CR55","volume-title":"Kleine Fehlerschranken bei Matrixproblemen","author":"R S. M","year":"1980","unstructured":"Rump, S. M.: Kleine Fehlerschranken bei Matrixproblemen. Dissertation, Universit\u00e4t Karlsruhe, 1980."},{"key":"2_CR56","volume-title":"Jahrbuch Uberblicke Mathematik","author":"R S. M","year":"1983","unstructured":"Rump, S. M.: How Reliable are Results of Computers? I Wie zuverl\u00e4ssig sind die Ergebnisse unserer Rechenanlagen? In: Jahrbuch Uberblicke Mathematik, Bibliographisches Institut, Mannheim, 1983."},{"key":"2_CR57","first-page":"191","volume":"2","author":"R S.M","year":"1993","unstructured":"Rump, S.M.: Validated Solution of Larye Linear Systems. In [2, pp. 191\u2013212], 1993.","journal-title":"Validated Solution of Larye Linear Systems"},{"key":"2_CR58","first-page":"63","volume":"21","author":"R S.M","year":"1994","unstructured":"Rump, S.M.: Verification Methods for Dense and Sparse Systems of Equations. In [21, pp. 63\u2013135], 1994.","journal-title":"Verification Methods for Dense and Sparse Systems of Equations"},{"key":"2_CR59","volume-title":"Semimorphe Arithmetik zur automatischen Eryebnisverijikation auf Vektorrechnern","author":"S L","year":"1992","unstructured":"Schmidt, L.: Semimorphe Arithmetik zur automatischen Eryebnisverijikation auf Vektorrechnern. Dissertation, Universit\u00e4t Karlsruhe, 1992."},{"key":"2_CR60","volume-title":"Fast Automatie Differentiation for Vector Processors and Reduction of the Spatial Complexity in a Source Translation Environment","author":"S D. V","year":"1994","unstructured":"Shiriaev, D. V.: Fast Automatie Differentiation for Vector Processors and Reduction of the Spatial Complexity in a Source Translation Environment. Dissertation, Universit\u00e4t Karlsruhe, 1994."},{"key":"2_CR61","first-page":"547","volume":"2","author":"S T","year":"1958","unstructured":"Sunaga, T.: Theory of an interval algebra and its application to numerical analysis. RAAG Memoires 2, pp. 547\u2013564, 1958.","journal-title":"Theory of an interval algebra and its application to numerical analysis"},{"key":"2_CR62","volume-title":"Ein optimaler Gleitkommaprozessor","author":"T T","year":"1984","unstructured":"Teufel, T.: Ein optimaler Gleitkommaprozessor. Dissertation, Universit\u00e4t Karlsruhe, 1984."},{"key":"2_CR63","unstructured":"Ullrich, Ch. (Ed.): Computer Arithmetic and Self-Validating Numerical Methods. (Proceedings of SCAN 89, held in Basel, Oct. 2-6, 1989, invited papers). Academic Press, San Diego, 1990."},{"key":"2_CR64","first-page":"43","volume":"46","author":"W W. V","year":"1988","unstructured":"Walter, W. V.: FORTRAN-SC, A FORTRAN Extension for Engineering \/ Scientijic Computation with Access to ACRITH: Language Description with Examples. In [46, pp. 43\u201362], 1988.","journal-title":"FORTRAN-SC, A FORTRAN Extension for Engineering \/ Scientijic Computation with Access to ACRITH: Language Description with Examples"},{"issue":"4","key":"2_CR65","first-page":"T52-T54","volume":"69","author":"W W. V","year":"1989","unstructured":"Walter, W. V.: Einf\u00fchrung in die wissenschaftlich-technische Programmiersprache FORTRAN-SC. ZAMM 69, 4, T52-T54, 1989.","journal-title":"ZAMM"},{"key":"2_CR66","unstructured":"Walter, W. V.: FORTRAN-SC: A FORTRAN Extension for Engineering \/ Seientific Computation with Access to ACRITH, Language Reference and User\u2019s Guide. 2nd ed., pp. 1-396, IBM Deutschland GmbH, Stuttgart, Jan. 1989."},{"key":"2_CR67","volume-title":"Flexible Precision Control and Dynamic Data Structures for Programming Mathematical and Numerical Algorithms","author":"W W. V","year":"1990","unstructured":"Walter, W. V.: Flexible Precision Control and Dynamic Data Structures for Programming Mathematical and Numerical Algorithms. Dissertation, Universit\u00e4t Karlsruhe, 1990."},{"key":"2_CR68","first-page":"224","volume":"9","author":"W H.-W","year":"1967","unstructured":"Wippermann, H.-W.: Realisierung einer Intervallarithmetik in einem ALGOL- 60 System. Elektronische Rechenanlagen 9, pp. 224\u2013233, 1967.","journal-title":"Elektronische Rechenanlagen"},{"key":"2_CR69","first-page":"189","volume":"10","author":"W H.-W","year":"1968","unstructured":"Wippermann, H.-W.: Implementierung eines ALGOL-60 Systems mit Schrankenzahlen. Elektronische Datenverarbeitung 10, pp. 189\u2013194, 1968.","journal-title":"Elektronische Datenverarbeitung"},{"key":"2_CR70","volume-title":"Hardware Support for Internal Arithmetic, Extended Version","author":"W v","year":"1995","unstructured":"Wolff v. Gudenberg, J.: Hardware Support for Internal Arithmetic, Extended Version. Report No. 125, Institut f\u00fcr Informatik, Universit\u00e4t W\u00fcrzburg, 1995."},{"key":"2_CR71","first-page":"32","volume":"8","author":"W v","year":"1996","unstructured":"Wolff v. Gudenberg, J.: Hardware Supportfor Internal Arithmetic. In [8, pp. 32\u201338], 1996.","journal-title":"Hardware Supportfor Internal Arithmetic"},{"key":"2_CR72","unstructured":"Wolff v. Gudenberg, J.: Proceedings of Interval\u201996. International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, W\u00fcrzburg, Germany, Sep. 30-Oct. 2, 1996. Special issue 3\/97 of the journal Reliable Computing, 1997."},{"issue":"6","key":"2_CR73","first-page":"577","volume":"C-22","author":"Y J.M","year":"1973","unstructured":"Yohe, J.M.: Roundings in Floating-Point Arithmetic. IEEE Trans. on Computers, Vol. C-22, No. 6, June 1973, pp. 577\u2013586.","journal-title":"Roundings in Floating-Point Arithmetic"},{"key":"2_CR74","unstructured":"IBM: IBM System\/370 RPQ\u2019. High Accuracy Arithmetic. SA 22-7093-0, IBM Deutschland GmbH (Department 3282, Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen), 1984."},{"key":"2_CR75","unstructured":"IBM: IBM High-Accuracy Arithmetic Subroutine Library (ACRITH). IBM Deutschland GmbH (Department 3282, Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen), 3rd edition, 1986. 1. General Information Manual. GC 33-6163-02. 2. Program Description and User\u2019s Guide. SC 33-6164-02. 3. Reference Summary. GX 33-9009-02."},{"key":"2_CR76","unstructured":"IBM: ACRITH-XSC: IBM High Accuracy Arithmetic- Extended Scientific Computation. Version 1, Release 1. IBM Deutschland GmbH (Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen), 1990. 1. General Information, GC33-6461-01. 2. Reference, SC33-6462-00. 3. Sampie Programs, SC33-6463-00. 4. How To Use, SC33-6464-00. 5. Syntax Diagrams, SC33-6466-00."},{"key":"2_CR77","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronics Engineers: A Standard for Binary Floating-Point Arithmetic. ANSI\/IEEE Std. 754-1985, New York, 1985 (reprinted in SIGPLAN 22, 2, pp. 9-25, 1987). Also adopted as IEC Standard 559:1989."},{"key":"2_CR78","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronics Engineers: A Standard for Radix-Independent Floating-Point Arithmetic. ANSI\/IEEE Std. 854-1987, New York, 1987."},{"key":"2_CR79","unstructured":"IMACS; GAMM: IMACS-GAMM Resolution on Computer Arithmetic. In Mathematics and Computers in Simulation 31, pp. 297-298, 1989. In Zeitschrift f\u00fcr Angewandte Mathematik und Mechanik 70, no. 4, p. T5, 1990."},{"key":"2_CR80","doi-asserted-by":"crossref","unstructured":"IMACS; GAMM: GAMM-IMACS Proposal for Accurate Floating-Point Vector Arithmetic. GAMM, Rundbrief 2, pp. 9-16,1993. Mathematics and Computers in Simulation, Vol. 35, IMACS, North Holland, 1993. News of IMACS, Vol. 35, No. 4, pp. 375-382, Oct. 1993.","DOI":"10.1016\/0378-4754(93)90064-2"},{"key":"2_CR81","unstructured":"SIEMENS: ARITHMOS (BS 2000) Unterprogrammbibliothek i\u00fcr Hochpr\u00e4zisionsarithmetik. Kurzbeschreibung, Tabellenheft, Benutzerhandbuch. SIEMENS AG, Bereich Datentechnik, Postfach 83 09 51, D-8000 M\u00fcnchen 83. Bestellnummer U2900-J-Z87-1, Sept. 1986."},{"key":"2_CR82","unstructured":"Sun Microsystems: Interval Arithmetic Programming Reference, Fortran 95. Sun Microsystems, Inc., 901 San Antonio Road, Palo Alto, CA 94303, USA, 2000."}],"container-title":["Perspectives on Enclosure Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6282-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T04:32:48Z","timestamp":1606105968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6282-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835906","9783709162828"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_2","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}