{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:40:02Z","timestamp":1748832002603,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319321516"},{"type":"electronic","value":"9783319321523"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32152-3_39","type":"book-chapter","created":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T02:10:11Z","timestamp":1459476611000},"page":"413-434","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Up-to-date Interval Arithmetic: From Closed Intervals to Connected Sets of Real Numbers"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Kulisch","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,2]]},"reference":[{"key":"39_CR1","unstructured":"Alefeld, G., Herzberger, J.: Einf\u00fchrung in die Intervallrechnung, Informatik 12. Bibliographisches Institut, Mannheim Wien Z\u00fcrich (1974)"},{"key":"39_CR2","volume-title":"Introduction to Interval Computations","author":"G Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Baumhof, C., A new VLSI vector arithmetic coprocessor for the PC. In: Knowles, S., McAllister, W.H. (eds.) Proceedings of 12th Symposium on Computer Arithmetic ARITH, Bath, England, 19\u201321 July 1995, pp. 210\u2013215. IEEE Computer Society Press, Piscataway (1995)","DOI":"10.1109\/ARITH.1995.465356"},{"key":"39_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-02722-5","volume-title":"Rechnen mit Maschinen","author":"W Beauclair De","year":"1968","unstructured":"De Beauclair, W.: Rechnen mit Maschinen. Vieweg, Braunschweig (1968)"},{"key":"39_CR5","volume-title":"The End of Error","author":"JL Gustafson","year":"2015","unstructured":"Gustafson, J.L.: The End of Error. CRC Press, Taylor and Francis Group, A Chapman and Hall Book, Boca Raton (2015)"},{"key":"39_CR6","volume-title":"Topics in Interval Analysis","author":"ER Hansen","year":"1969","unstructured":"Hansen, E.R.: Topics in Interval Analysis. Clarendon Press, Oxford (1969)"},{"key":"39_CR7","volume-title":"Global Optimization Using Interval Analysis","author":"ER Hansen","year":"1992","unstructured":"Hansen, E.R.: Global Optimization Using Interval Analysis. Marcel Dekker Inc., New York (1992)"},{"key":"39_CR8","unstructured":"INTEL: Intel Architecture Instruction Set Extensions Progamming Reference, 319433-017, December 2013. http:\/\/software.intel.com\/en-us\/file\/319433-017pdf"},{"key":"39_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09214-9","volume-title":"PASCAL-XSC: Sprachbeschreibung mit Beispielen","author":"R Klatte","year":"1991","unstructured":"Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, C.: PASCAL-XSC: Sprachbeschreibung mit Beispielen. Springer, Heidelberg (1991). http:\/\/www2.math.uni-wuppertal.de\/xsc\/ , http:\/\/www.xsc.de\/"},{"key":"39_CR10","volume-title":"PASCAL-XSC - Language Reference with Examples","author":"R Klatte","year":"1992","unstructured":"Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, C.: PASCAL-XSC - Language Reference with Examples. Springer, Heidelberg (1992). http:\/\/www2.math.uni-wuppertal.de\/xsc\/ , http:\/\/www.xsc.de\/ . Russian translation MIR, Moscow, 1995, third edition 2006. http:\/\/www2.math.uni-wuppertal.de\/xsc\/ , http:\/\/www.xsc.de\/"},{"key":"39_CR11","volume-title":"Numerical Toolbox for Verified Computing I: Basic Numerical Problems (PASCAL-XSC)","author":"R Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I: Basic Numerical Problems (PASCAL-XSC). Springer, Heidelberg (1993). Russian translation MIR, Moskow (2005)"},{"key":"39_CR12","volume-title":"C-XSC: A C++ Class Library for ExtendedScientific Computing","author":"R Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC: A C++ Class Library for ExtendedScientific Computing. Springer, Heidelberg (1993). http:\/\/www2.math.uni-wuppertal.de\/xsc\/ , http:\/\/www.xsc.de\/"},{"key":"39_CR13","volume-title":"C++ Toolbox for Verified Computing: Basic Numerical Problems","author":"R Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)"},{"key":"39_CR14","unstructured":"Kulisch, U.: An axiomatic approach to rounded computations. TS Report No. 1020, Mathematics Research Center, University of Wisconsin, Madison, Wisconsin (1969) and Numer. Math. 19 , 1\u201317 (1971)"},{"key":"39_CR15","unstructured":"Kulisch, U.: Implementation and Formalization of Floating-Point Arithmetics, IBM T. J. Watson-Research Center, Report Nr. RC, pp. 1\u201350 (1973). Invited talk at the Caratheodory Symposium, Athens, September 1973. In: The Greek Mathematical Society, C. Caratheodory Symposium, pp. 328\u2013369 (1973). In: Computing 14(4608), 323\u2013348 (1975)"},{"key":"39_CR16","unstructured":"Kulisch, U.: Grundlagen des Numerischen Rechnens - Mathematische Begr\u00fcndung der Rechnerarithmetik. Bibliographisches Institut, Mannheim Wien Z\u00fcrich (1976). ISBN 3-411-01517-9"},{"key":"39_CR17","first-page":"52","volume":"26","author":"U Kulisch","year":"1994","unstructured":"Kulisch, U., Teufel, T., Hoefflinger, B.: Genauer und trotzdem schneller: Ein neuer Coprozessor f\u00fcr hochgenaue Matrix-und Vektoroperationen. Titelgeschichte. Elektronik 26, 52\u201356 (1994)","journal-title":"Elektronik"},{"key":"39_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-01591-5_2","volume-title":"Numerical Validation in Current Hardware Architectures","author":"UW Kulisch","year":"2009","unstructured":"Kulisch, U.W.: Complete interval arithmetic and its implementation on the computer. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation in Current Hardware Architectures. LNCS, vol. 5492, pp. 7\u201326. Springer, Heidelberg (2009)"},{"key":"39_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-642-31500-8_50","volume-title":"Parallel Processing and Applied Mathematics","author":"U Kulisch","year":"2012","unstructured":"Kulisch, U.: An axiomatic approach to computer arithmetic with an appendix on interval hardware. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wa\u015bniewski, J. (eds.) PPAM 2011, Part II. LNCS, vol. 7204, pp. 484\u2013495. Springer, Heidelberg (2012)"},{"key":"39_CR20","doi-asserted-by":"publisher","DOI":"10.1515\/9783110203196","volume-title":"Computer Arithmetic and Validity: Theory, Implementation, and Applications","author":"U Kulisch","year":"2008","unstructured":"Kulisch, U.: Computer Arithmetic and Validity: Theory, Implementation, and Applications. de Gruyter, Berlin (2008)"},{"key":"39_CR21","unstructured":"Kulisch, U., Snyder, V.: The exact dot product. Prepared for and sent to IEEE P1788 (2009, to be published in TOMS)"},{"volume-title":"PASCAL-XSC: A PASCAL Extension for Scientific Computation, Information Manual and Floppy Disks","year":"1987","key":"39_CR22","unstructured":"Kulisch, U. (ed.): PASCAL-XSC: A PASCAL Extension for Scientific Computation, Information Manual and Floppy Disks. B. G. Teubner, Stuttgart (1987)"},{"key":"39_CR23","unstructured":"Kulisch, U.: Mathematics and speed for interval arithmetic - a complement to IEEE P1788. Prepared for and sent to IEEE P1788 (2014, to be published in TOMS)"},{"key":"39_CR24","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice Hall Inc., Englewood Cliffs (1966)"},{"key":"39_CR25","unstructured":"Pryce, J.D. (ed.): P1788, IEEE Standard for Interval Arithmetic. http:\/\/grouper.ieee.org\/groups\/1788\/email\/pdfOWdtH2mOd9.pdf"},{"key":"39_CR26","unstructured":"Rojas, R., Rechenmaschinen, K.Z.: sechzig Jahre Computergeschichte. In: Spektrum der Wissenschaft, pp. 54\u201362. Spektrum Verlag, Heidelberg (1997)"},{"key":"39_CR27","unstructured":"Sun Microsystems, Interval Arithmetic Programming Reference, Fortran 95. Sun Microsystems Inc., Palo Alto (2000)"},{"key":"39_CR28","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1016\/j.cam.2006.05.022","volume":"205","author":"S Oishi","year":"2007","unstructured":"Oishi, S., Tanabe, K., Ogita, T., Rump, S.M.: Convergence of Rump\u2019s method for inverting arbitrarily ill-conditioned matrices. J. Comput. Appl. Math. 205, 533\u2013544 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"39_CR29","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Dissertation, Universit\u00e4t Karlsruhe (1980)"},{"key":"39_CR30","unstructured":"Rump, S.M.: How reliable are results of computers? Jahrbuch berblicke Mathematik (1983)"},{"key":"39_CR31","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-0-12-428660-3.50010-0","volume-title":"A New Approach to Scientific Computation","author":"Siegfried M. Rump","year":"1983","unstructured":"Rump, S.M.: Solving algebraic problems with high accuracy. In: Kulisch, U., Miranker, W.L. (eds.) Proceedings of the Symposium on New Approach to Scientific Computation, IBM Research Center, Yorktown Heights, NY, pp. 51\u2013120. Academic Press, New York (1983)"},{"key":"39_CR32","unstructured":"IBM: IBM System\/370 RPQ. High Accuracy Arithmetic, SA 22\u20137093-0, IBM Deutschland GmbH (Department 3282, B\u00f6blingen) (1984)"},{"key":"39_CR33","unstructured":"IBM: IBM High-Accuracy Arithmetic Subroutine Library (ACRITH). IBM Deutschland GmbH (Department 3282, B\u00f6blingen) (1983), third 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":"39_CR34","unstructured":"IBM: ACRITH\u2013XSC: IBM High Accuracy Arithmetic\u2013 Extended Scientific Computation. Version 1, Release 1. IBM Deutschland GmbH (Department 3282, B\u00f6blingen) (1990). 1. General Information, GC33-6461-01. 2. Reference, SC33-6462-00.3. Sample Programs, SC33-6463-00. 4. How To Use, SC33-6464-00. 5. Syntax Diagrams, SC33-6466-00"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32152-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:16:08Z","timestamp":1748830568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32152-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319321516","9783319321523"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32152-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"2 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}