{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T09:03:17Z","timestamp":1720688597280},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,5]],"date-time":"2010-12-05T00:00:00Z","timestamp":1291507200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s00607-010-0131-y","type":"journal-article","created":{"date-parts":[[2010,12,3]],"date-time":"2010-12-03T18:30:08Z","timestamp":1291401008000},"page":"397-405","source":"Crossref","is-referenced-by-count":9,"title":["Very fast and exact accumulation of products"],"prefix":"10.1007","volume":"91","author":[{"given":"Ulrich","family":"Kulisch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,5]]},"reference":[{"key":"131_CR1","unstructured":"ACRITH-XSC (1990) IBM high accuracy arithmetic, extended scientific computation. Version 1, Release 1. IBM Deutschland GmbH (Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen)"},{"key":"131_CR2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-01591-5_4","volume-title":"Numerical validation in current hardware architectures, Lecture Notes in Computer Science LNCS, vol 5492","author":"F Blomquist","year":"2009","unstructured":"Blomquist F, Hofschuster W, Kr\u00e4mer W et\u00a0al (2009) A modified staggered correction arithmetic with enhanced accuracy and very wide exponent range. In: Cuyt A (eds) Numerical validation in current hardware architectures, Lecture Notes in Computer Science LNCS, vol 5492. Springer, Berlin Heidelberg, pp 41\u201367"},{"key":"131_CR3","unstructured":"IBM System\/370 RPQ (1984) High Accuracy Arithmetic. SA 22-7093-0, IBM Deutschland GmbH (Department 3282, Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen)"},{"key":"131_CR4","unstructured":"IEEE Floating-Point Arithmetic Standard 754 (2008)"},{"key":"131_CR5","doi-asserted-by":"crossref","unstructured":"Klatte R, Kulisch U, Lawo C, Rauch M, Wiethoff A (1993) C\u2013XSC, A C++ class library for extended scientific computing. Springer, Berlin. http:\/\/www.math.uni-wuppertal.de\/~xsc\/resp . http:\/\/www.xsc.de\/","DOI":"10.1007\/978-3-642-58058-1"},{"key":"131_CR6","unstructured":"Kulisch U (1975) Implementation and Formalization of Floating-Point Arithmetics IBM T. J. Watson-Research Center, Report Nr. RC 4608, 1\u201350, 1973. Invited talk at the Caratheodory Symposium, September 1973 in Athens, published in: The Greek Mathematical Society, C. Caratheodory Symposium, 328\u2013369, 1973, and in Computing 14, 323\u2013348"},{"key":"131_CR7","unstructured":"Kulisch U (1976) Grundlagen des Numerischen Rechnens\u2014Mathematische Begr\u00fcndung der Rechnerarithmetik. Reihe Informatik, Band 19, Bibliographisches Institut, Mannheim\/Wien\/Z\u00fcrich"},{"key":"131_CR8","doi-asserted-by":"crossref","DOI":"10.1515\/9783110203196","volume-title":"Computer arithmetic and validity\u2014theory, implementation, and applications","author":"U Kulisch","year":"2008","unstructured":"Kulisch U (2008) Computer arithmetic and validity\u2014theory, implementation, and applications. de Gruyter, Berlin"},{"key":"131_CR9","unstructured":"Kulisch U, Snyder V (2009) The exact dot product as basic tool for long interval arithmetic, passed on Nov 18, 2009 as official IEEE P1788 document"},{"key":"131_CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0076-5392(08)62850-7","volume-title":"Scientific computing with automatic result verification","author":"R Lohner","year":"1993","unstructured":"Lohner R (1993) Interval arithmetic in staggered correction format. In: Adams E, Kulisch U (eds) Scientific computing with automatic result verification. Academic Press, New York, pp 301\u2013321"},{"key":"131_CR11","doi-asserted-by":"crossref","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 SM (2007) Convergence of Rump\u2019s method for inverting arbitrarily ill-conditioned matrices. J Comput Appl Math 205: 533\u2013544","journal-title":"J Comput Appl Math"},{"key":"131_CR12","unstructured":"Rump SM (1980) Kleine Fehlerschranken bei Matrixproblemen. Dissertation, Universit\u00e4t Karlsruhe"},{"key":"131_CR13","unstructured":"Shiriaev D (1993) Fast automatic differentiation for vector processors and reduction of the spatial complexity in a source translation environment. Dissertation, Universit\u00e4t Kalrsuhe"},{"key":"131_CR14","unstructured":"The IFIP WG\u2014IEEE 754R letter, dated September 4 (2007)"},{"key":"131_CR15","unstructured":"The IFIP WG\u2014IEEE P1788 letter, dated September 9 (2009)"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0131-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-010-0131-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0131-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T15:53:45Z","timestamp":1559836425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-010-0131-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,5]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["131"],"URL":"https:\/\/doi.org\/10.1007\/s00607-010-0131-y","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,5]]}}}