{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:27Z","timestamp":1749318087755,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281440"},{"type":"electronic","value":"9783642281457"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28145-7_15","type":"book-chapter","created":{"date-parts":[[2012,2,15]],"date-time":"2012-02-15T19:58:14Z","timestamp":1329335894000},"page":"148-156","source":"Crossref","is-referenced-by-count":3,"title":["Comments on Fast and Exact Accumulation of Products"],"prefix":"10.1007","author":[{"given":"Gerd","family":"Bohlender","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"Kulisch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-01591-5_4","volume-title":"Numerical Validation in Current Hardware Architectures","author":"F. Blomquist","year":"2009","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol.\u00a05492, pp. 41\u201367. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Bohlender, G.: Genaue Berechnung mehrfacher Summen, Produkte und Wurzeln von Gleitkommazahlen und allgemeine Arithmetik in h\u00f6heren Programmiersprachen. Dissertation, Universit\u00e4t Karlsruhe (1978)","key":"15_CR2","DOI":"10.1007\/978-3-7091-8471-4_4"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/B978-0-12-708245-5.50006-3","volume-title":"Computer Arithmetic and Self-Validating Numerical Methods","author":"G. Bohlender","year":"1990","unstructured":"Bohlender, G.: What Do We Need Beyond IEEE Arithmetic? In: Ullrich, C. (ed.) Computer Arithmetic and Self-Validating Numerical Methods, pp. 1\u201332. Academic Press, San Diego (1990)"},{"doi-asserted-by":"crossref","unstructured":"Bohlender, G., Walter, W., Kornerup, P., Matula, D.W.: Semantics for Exact Floating Point Operations. In: Proceedings of 10th IEEE Symposium on Computer Arithmetic, June 26-28, pp. 22\u201326. IEEE (1991)","key":"15_CR4","DOI":"10.1109\/ARITH.1991.145529"},{"unstructured":"Bohlender, G., Kolberg, M., Cordeiro, D., Fernandes, G., Goldman, A.: A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. In: PARA \u2013 Workshop on State-of-the-Art in Scientific and Parallel Computing. Trondheim, 2008. Accepted for publication in LNCS. Springer, Heidelberg (2009)","key":"15_CR5"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-92859-1_3","volume-title":"High Performance Computing for Computational Science - VECPAR 2008","author":"G. Bohlender","year":"2008","unstructured":"Bohlender, G., Kolberg, M., Claudio, D.: Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In: Palma, J.M.L.M., Amestoy, P.R., Dayd\u00e9, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol.\u00a05336, pp. 13\u201326. Springer, Heidelberg (2008)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W. Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0 \u2013 A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Num. Software with Result Verification. LNCS, vol.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-01591-5_5","volume-title":"Numerical Validation in Current Hardware Architectures","author":"W. Hofschuster","year":"2009","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Neher, M.: C-XSC and Closely Related Software Packages. In: Cuyt, A., et al. (eds.) Numerical Validation. LNCS, vol.\u00a05492, pp. 68\u2013102. Springer, Heidelberg (2009)"},{"unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.4.0 \u2013 A C++ Class Library, www2.math.uni-wuppertal.de\/~xsc\/xsc\/cxsc_new.html (accessed August 17, 2010)","key":"15_CR9"},{"unstructured":"IEEE Society IEEE Interval Standard Working Group - P1788, grouper.ieee.org\/groups\/1788\/ (accessed August 17, 2010)","key":"15_CR10"},{"volume-title":"Perspectives on Enclosure Methods","year":"2001","unstructured":"Kulisch, U., Lohner, R., Facius, A. (eds.): Perspectives on Enclosure Methods. Springer, Heidelberg (2001)","key":"15_CR11"},{"key":"15_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer \u2013 Design of Arithmetic Units","author":"U. Kulisch","year":"2002","unstructured":"Kulisch, U.: Advanced Arithmetic for the Digital Computer \u2013 Design of Arithmetic Units. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Kulisch, U.: Computer Arithmetic and Validity \u2013 Theory, Implementation, and Applications. de Gruyter (2008)","key":"15_CR13","DOI":"10.1515\/9783110203196"},{"doi-asserted-by":"crossref","unstructured":"Kulisch, U., Snyder, V.: The Exact Dot Product as Basic Tool for Long Interval Arithmetic. Computing, Wien (2010), dx.doi.org\/10.1007\/s00607-010-0127-7 (accessed December 10, 2010)","key":"15_CR14","DOI":"10.1007\/s00607-010-0127-7"},{"doi-asserted-by":"crossref","unstructured":"Lohner, R.: Interval Arithmetic in Staggered Correction Format. In: Adams, E., Kulisch, U. (eds.) Scientific Computing with Automatic Result Verification. Academic Press (1993)","key":"15_CR15","DOI":"10.1016\/S0076-5392(08)62850-7"},{"issue":"11","key":"15_CR16","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1145\/362854.362889","volume":"14","author":"M.A. Malcolm","year":"1971","unstructured":"Malcolm, M.A.: On Accurate Floating-Point Summation. Comm. ACM\u00a014(11), 731\u2013736 (1971)","journal-title":"Comm. ACM"},{"issue":"6","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM Journal on Scientific Computing\u00a026(6), 1955\u20131988 (2005)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/BF01404922","volume":"19","author":"M. Pichat","year":"1972","unstructured":"Pichat, M.: Correction d\u2019une somme en arithm\u00e9tique \u00e0 virgule flottante. Numerische Mathematik\u00a019, 400\u2013406 (1972)","journal-title":"Numerische Mathematik"},{"issue":"5","key":"15_CR19","doi-asserted-by":"publisher","first-page":"3466","DOI":"10.1137\/080738490","volume":"3","author":"S.M. Rump","year":"2009","unstructured":"Rump, S.M.: Ultimately Fast Accurate Summation. SIAM Journal on Scientific Computing\u00a03(5), 3466\u20133502 (2009)","journal-title":"SIAM Journal on Scientific Computing"},{"doi-asserted-by":"crossref","unstructured":"Rump, S.M.: Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 287\u2013449 (2010)","key":"15_CR20","DOI":"10.1017\/S096249291000005X"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.parco.2008.02.002","volume":"34","author":"N. Yamanaka","year":"2008","unstructured":"Yamanaka, N., Ogita, T., Rump, S.M., Oishi, S.: A Parallel Algorithm for Accurate Dot Product. Parallel Computing\u00a034, 392\u2013410 (2008)","journal-title":"Parallel Computing"},{"key":"15_CR22","first-page":"3","volume":"4","author":"M. Zimmer","year":"2010","unstructured":"Zimmer, M., Kr\u00e4mer, W., Bohlender, G., Hofschuster, W.: Extension of the C-XSC Library with Scalar Products with Selectable Accuracy. To Appear in Serdica Journal of Computing\u00a04, 3 (2010)","journal-title":"To Appear in Serdica Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel and Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28145-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T21:54:55Z","timestamp":1742507695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28145-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281440","9783642281457"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28145-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}