{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T22:41:31Z","timestamp":1773182491681,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T00:00:00Z","timestamp":1288656000000},"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,3]]},"DOI":"10.1007\/s00607-010-0127-7","type":"journal-article","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T15:50:24Z","timestamp":1288713024000},"page":"307-313","source":"Crossref","is-referenced-by-count":24,"title":["The exact dot product as basic tool for long interval arithmetic"],"prefix":"10.1007","volume":"91","author":[{"given":"Ulrich","family":"Kulisch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Van","family":"Snyder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,2]]},"reference":[{"key":"127_CR1","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, London, pp 301\u2013321"},{"key":"127_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, pp 41\u201367"},{"key":"127_CR3","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. See also: http:\/\/www.math.uni-wuppertal.de\/~xsc\/resp; http:\/\/www.xsc.de\/","DOI":"10.1007\/978-3-642-58058-1"},{"key":"127_CR4","doi-asserted-by":"crossref","unstructured":"Kulisch U (2008) Computer arithmetic and validity\u2014theory, implementation, and applications. de Gruyter, Berlin","DOI":"10.1515\/9783110203196"},{"key":"127_CR5","unstructured":"The IFIP WG-IEEE 754R letter, dated 4 September 2007"},{"key":"127_CR6","unstructured":"The IFIP WG-IEEE P1788 letter, dated 9 September 2009"},{"key":"127_CR7","unstructured":"IEEE Floating-Point Arithmetic Standard (2008) 754"},{"key":"127_CR8","unstructured":"Neumaier A. Vienna Proposal for Interval Standardization"},{"key":"127_CR9","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":"127_CR10","unstructured":"ACRITH-XSC: IBM High Accuracy Arithmetic, Extended Scientific Computation. Version 1, Release 1, General Information (GC33-6461-01), Reference (SC33-6462-00), Sample Programs (SC33-6463-00), How To Use (SC33-6464-00), Syntax Diagrams (SC33-6466-00). IBM Deutschland GmbH (Sch\u00f6naicher Strasse 220, D-71032 B\u00f6blingen), 1990"},{"key":"127_CR11","unstructured":"Rump SM (1980) Kleine Fehlerschranken bei Matrixproblemen. Dissertation, Universit\u00e4t Karlsruhe"},{"key":"127_CR12","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"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0127-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-010-0127-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-010-0127-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:24:13Z","timestamp":1559784253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-010-0127-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,2]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["127"],"URL":"https:\/\/doi.org\/10.1007\/s00607-010-0127-7","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,2]]}}}