{"id":"https://openalex.org/W2604853696","doi":"https://doi.org/10.1109/tc.2017.2690632","title":"Correctly Rounded Arbitrary-Precision Floating-Point Summation","display_name":"Correctly Rounded Arbitrary-Precision Floating-Point Summation","publication_year":2017,"publication_date":"2017-04-04","ids":{"openalex":"https://openalex.org/W2604853696","doi":"https://doi.org/10.1109/tc.2017.2690632","mag":"2604853696"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2017.2690632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2017.2690632","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01394289","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102806164","display_name":"Vincent Lef\u00e8vre","orcid":"https://orcid.org/0000-0002-4045-8273"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Lyon 1 Universit\u00e9","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Vincent Lefevre","raw_affiliation_strings":["INRIA, LIP / CNRS / ENS Lyon / Universit\u00e9 de Lyon, Lyon, France"],"raw_orcid":"https://orcid.org/0000-0002-4045-8273","affiliations":[{"raw_affiliation_string":"INRIA, LIP / CNRS / ENS Lyon / Universit\u00e9 de Lyon, Lyon, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102806164"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":1.0621,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78649099,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"66","issue":"12","first_page":"2111","last_page":"2124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11034","display_name":"Digital Filter Design and Implementation","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9613999724388123,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/double-precision-floating-point-format","display_name":"Double-precision floating-point format","score":0.6902708411216736},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.6243890523910522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.545003354549408},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5353221297264099},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.518904983997345},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5186576247215271},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.5128238797187805},{"id":"https://openalex.org/keywords/single-precision-floating-point-format","display_name":"Single-precision floating-point format","score":0.4730759561061859},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.47295424342155457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4017137289047241},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08651095628738403},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08259552717208862}],"concepts":[{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.6902708411216736},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.6243890523910522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.545003354549408},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5353221297264099},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.518904983997345},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5186576247215271},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.5128238797187805},{"id":"https://openalex.org/C133095886","wikidata":"https://www.wikidata.org/wiki/Q1307173","display_name":"Single-precision floating-point format","level":3,"score":0.4730759561061859},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.47295424342155457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4017137289047241},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08651095628738403},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08259552717208862}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tc.2017.2690632","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2017.2690632","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01394289v2","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01394289","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01394289v2","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01394289","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W26579346","https://openalex.org/W605824955","https://openalex.org/W1969213662","https://openalex.org/W1975602595","https://openalex.org/W2041844083","https://openalex.org/W2052942864","https://openalex.org/W2075208936","https://openalex.org/W2150492672","https://openalex.org/W2207050309","https://openalex.org/W2296883202","https://openalex.org/W2568063366"],"related_works":["https://openalex.org/W2116803521","https://openalex.org/W2773283032","https://openalex.org/W3150959508","https://openalex.org/W3150370983","https://openalex.org/W2239119680","https://openalex.org/W1564887326","https://openalex.org/W1571090276","https://openalex.org/W2185760795","https://openalex.org/W2087454352","https://openalex.org/W2012407419"],"abstract_inverted_index":{"We":[0,42],"present":[1],"a":[2,45],"fast":[3],"algorithm":[4,50],"together":[5],"with":[6],"its":[7,39],"low-level":[8],"implementation":[9,55],"of":[10,48],"correctly":[11],"rounded":[12],"arbitrary-precision":[13],"floating-point":[14],"summation.":[15],"The":[16],"arithmetic":[17],"is":[18,56],"the":[19,23,36,54],"one":[20],"used":[21],"by":[22],"GNU":[24],"MPFR":[25],"library:":[26],"radix":[27],"2;":[28],"no":[29],"subnormals;":[30],"each":[31],"variable":[32],"(each":[33],"input":[34],"and":[35,51],"output)":[37],"has":[38],"own":[40],"precision.":[41],"also":[43],"give":[44],"worst-case":[46],"complexity":[47],"this":[49],"describe":[52],"how":[53],"tested.":[57]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}