{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T18:34:58Z","timestamp":1787337298970,"version":"build-2736575974"},"reference-count":33,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Sci. Comput."],"published-print":{"date-parts":[[2006,1]]},"abstract":"<jats:p>From single\u2010precision summands sorted in nonincreasing exponents, extended\u2010 precision faithful additions with any radix yield an extended\u2010precision sum, which, rounded back to single\u2010precision, suffers from a roundoff smaller than one unit in the penultimate significant digit. Such provable accuracy holds only if the radix\u2010based logarithm of the number of summands does not exceed the difference between the number of digits in extended and single precisions.<\/jats:p>","DOI":"10.1137\/040617005","type":"journal-article","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T18:58:26Z","timestamp":1164049106000},"page":"1837-1850","source":"Crossref","is-referenced-by-count":0,"title":["Extensions of Priest\u2019s Double\u2010Precision Summation"],"prefix":"10.1137","volume":"28","author":[{"given":"Yves","family":"Nievergelt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2006,11,14]]},"reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1145\/355972.355975"},{"key":"R2","unstructured":"Burroughs Corporation,\n                      B\n                      6900\n                      System Reference Manual\n                      , Detroit, MI, 1981, http:\/\/www.bitsavers.org\/pdf\/burroughs\/B6900\/5010986_B6900_sysRef_Jul81.pdf."},{"key":"R3","unstructured":"Computer Operations, Inc.\n                      GEMINI Computer Systems Principles of Operation\n                      , preliminary ed., 1970, http:\/\/www.bitsavers.org\/pdf\/coi\/GEMINI_prelimPrincOps.pdf."},{"key":"R4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"R5","unstructured":"J. Demmel and Y. Hida,\n                      Accurate Floating Point Summation\n                      , Computer Science Division Technical Report UCB\/\/CSD\u201002\u20101180, University of California, Berkeley, CA, 2002, http:\/\/www.cs.berkeley.edu\/\u02dcdemmel\/AccurateSummation.pdf."},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827502407627"},{"key":"R7","unstructured":"Digital Equipment Corporation,\n                      VAX\n                      11\n                      Architecture Reference Manual\n                      , Digital Press, Digital Equipment Corporation, Bedford, MA, 1982, http:\/\/www.bitsavers.org\/pdf\/dec\/vax\/archSpec\/EK\u2010VAXAR\u2010RM\u2010001_Arch_May82. pdf."},{"key":"R8","doi-asserted-by":"crossref","unstructured":"B. Einarsson, ed.\n                      Accuracy and Reliability in Scientific Computing\n                      , SIAM, Philadelphia, 2005.","DOI":"10.1137\/1.9780898718157"},{"key":"R9","unstructured":"General Electric Company,\n                      GE\u2010\n                      625\/635\n                      Programming Reference Manual\n                      , revised ed., General Electric Company, Information Systems Equipment Division, C\u201083, Phoenix, AZ, 1969, http:\/\/www.bitsavers.org\/pdf\/ge\/CPB1004F_GE635pgmRef_Jul 69.pdf."},{"key":"R10","unstructured":"Hewlett\u2010Packard,\n                      Operating and Service Manual\n                      2152\n                      A Floating Point Processor\n                      , Hewlett\u2010Packard Company, Cupertino, CA, 1970, http:\/\/www.bitsavers.org\/pdf\/hp\/2116\/02152\u201090004_2116FPP_sep70.pdf."},{"key":"R11","unstructured":"Hewlett\u2010Packard,\n                      HP\n                      3000\n                      Computer Systems Machine Instruction Set Reference Manual\n                      , Hewlett\u2010Packard Company, Cupertino, CA, 1984, http:\/\/www.bitsavers.org\/pdf\/hp\/3000\/instrSet\/30000\u201090022_InsSetRef_Jun84.pdf."},{"key":"R12","unstructured":"Hewlett\u2010Packard Co.\n                      HP\n                      48\n                      G Series User\u2019s Guide\n                      , 7th ed., Part 00048\u201090126, Corvallis Division, Corvallis, OR, 1994."},{"key":"R13","unstructured":"Honeywell Information Systems, Inc.\n                      Series\n                      6000\n                      Summary Description\n                      , MS 061, Waltham, MA, 1971, http:\/\/www.bitsavers.org\/pdf\/honeywell\/series6000\/DA48_series6000_summary_1971.pdf."},{"key":"R14","unstructured":"Institute of Electrical and Electronic Engineers,\n                      IEEE Standard for Binary Floating\u2010Point Arithmetic\n                      , ANSI\/IEEE Std 754\u20131985, New York, 1985."},{"key":"R15","unstructured":"International Business Machines Corporation,\n                      IBM\n                      704\n                      Electronic Data\u2010Processing Machine Manual of Operation\n                      , New York, 1955, http:\/\/www.bitsavers.org\/pdf\/ibm\/704\/24\u20106661\u20102_704_Manual_1955.pdf."},{"key":"R16","unstructured":"International Business Machines Corporation,\n                      IBM\n                      7094\n                      Principles of Operation\n                      , 5th ed., IBM Systems Products Division, Product Publications, Dept. B98, Poughkeepsie, NY, 1962, http:\/\/www.bitsavers.org\/pdf\/ibm\/7094\/A22\u20106703\u20104_7094_PoO_Oct66.pdf."},{"key":"R17","unstructured":"International Business Machines Corporation,\n                      Reference Manual IBM\n                      7090\n                      Data Processing System\n                      , 1962, http:\/\/www.bitsavers.org\/pdf\/ibm\/7090\/22\u20106528\u20104_7090Manual.pdf."},{"key":"R18","unstructured":"International Business Machines Corporation,\n                      IBM System\/\n                      360\n                      Principles of Operation\n                      , 8th ed., IBM Systems Products Division, Product Publications, Dept. B98, Poughkeepsie, NY, 1968, http:\/\/www.bitsavers.org\/pdf\/ibm\/360\/poo\/A22\u20106821\u20107_360PrincOpsDec67.pdf."},{"key":"R19","unstructured":"International Business Machines Corporation,\n                      IBM System\/\n                      370\n                      Principles of Operation\n                      , 1st ed., IBM Systems Products Division, Product Publications, Dept. B98, Poughkeepsie, NY, 1970, http:\/\/www.bitsavers.org\/pdf\/ibm\/370\/GA22\u20107000\u20100_370PoO_Jun70.pdf."},{"key":"R20","unstructured":"International Business Machines Corporation,\n                      IBM System\/\n                      370\n                      Principles of Operation\n                      , 4th ed., IBM Systems Products Division, Product Publications, Dept. B98, Poughkeepsie, NY, 1975, http:\/\/www.bitsavers.org\/pdf\/ibm\/370\/GA22\u20107000\u20104_370PoO_Sep75.pdf."},{"key":"R21","unstructured":"International Business Machines Corporation,\n                      Enterprise Systems Architecture\n                      390\n                      Principles of Operation\n                      , 9th ed., Form SA22\u20107201\u20108, IBM Systems Products Division, Department 55JA, Poughkeepsie, NY, 2003, http:\/\/publibz.boulder.ibm.com\/epubs\/pdf\/dz9ar008.pdf."},{"key":"R22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932946"},{"key":"R23","unstructured":"C. Maxfield and A. Brown,\n                      How Computers Do Math\n                      , Wiley, New York, 2005, http:\/\/www.diycalculator.com\/."},{"key":"R24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01404922"},{"key":"R25","doi-asserted-by":"crossref","unstructured":"D. M. Priest,\n                      Algorithms for arbitrary precision floating point arithmetic\n                      , in Proceedings of the 10th Symposium on Computer Arithmetic, P. Kornerup and D. Matula, eds., IEEE Computer Society Press, Los Alamitos, CA, 1991, pp. 132\u2013143.","DOI":"10.1109\/ARITH.1991.145549"},{"key":"R26","unstructured":"D. M. Priest,\n                      On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations\n                      , Ph.D. thesis, University of California at Berkeley, Berkeley, CA, 1992, ftp:\/\/ftp.icsi.berkeley.edu\/pub\/theory\/priest\u2010thesis.ps.Z, http:\/\/citeseer.nj.nec.com\/priest92propertie.html."},{"key":"R27","unstructured":"Raytheon Computer,\n                      Raytheon\n                      706\n                      Computer User\u2019s Manual\n                      , Raytheon Computer, Santa Anna, CA, 1970, http:\/\/www.bitsavers.org\/pdf\/raytheon\/Raytheon706usersMan_Feb70.pdf."},{"key":"R28","doi-asserted-by":"crossref","unstructured":"S. M. Rump,\n                      Computer\u2010assisted proofs and self\u2010validating methods\n                      , in Accuracy and Reliability in Scientific Computing, B. Einarsson, ed., SIAM, Philadelphia, 2005, Chapter 10, pp. 195\u2013240.","DOI":"10.1137\/1.9780898718157.ch10"},{"key":"R29","unstructured":"P. H. Sterbenz,\n                      Floating\u2010Point Computation\n                      , Prentice\u2010Hall, Englewood Cliffs, NJ, 1974."},{"key":"R30","unstructured":"J. E. Tomayko,\n                      Computers in Spaceflight: The NASA Experience\n                      , NASA Contractor Report CP\u2010182505, National Aeronautics and Space Administration, Scientific and Technical Information Division, 1988, http:\/\/www.hq.nasa.gov\/office\/pao\/History\/computers\/contents.html."},{"key":"R31","doi-asserted-by":"crossref","unstructured":"M. A. Vouk,\n                      Software\u2010reliability engineering of numerical systems\n                      , in Accuracy and Reliability in Scientific Computing, B. Einarsson, ed., SIAM, Philadelphia, 2005, Chapter 13, pp. 265\u2013299.","DOI":"10.1137\/1.9780898718157.ch13"},{"key":"R32","doi-asserted-by":"crossref","unstructured":"G. W. Walster,\n                      The use and implementation of interval data types\n                      , in Accuracy and Reliability in Scientific Computing, B. Einarsson, ed., SIAM, Philadelphia, 2005, Chapter 9, pp. 173\u2013194.","DOI":"10.1137\/1.9780898718157.ch9"},{"key":"R33","unstructured":"S. Wolfram,\n                      The Mathematica Book\n                      , 3rd ed., Wolfram Media, Champaign, IL, 1996."}],"container-title":["SIAM Journal on Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/040617005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T17:55:18Z","timestamp":1787334918000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/040617005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.1137\/040617005"],"URL":"https:\/\/doi.org\/10.1137\/040617005","relation":{},"ISSN":["1064-8275","1095-7197"],"issn-type":[{"value":"1064-8275","type":"print"},{"value":"1095-7197","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}