{"id":"https://openalex.org/W2292017636","doi":"https://doi.org/10.1109/tc.2015.2441714","title":"Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions","display_name":"Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions","publication_year":2015,"publication_date":"2015-06-04","ids":{"openalex":"https://openalex.org/W2292017636","doi":"https://doi.org/10.1109/tc.2015.2441714","mag":"2292017636"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2015.2441714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2441714","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-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://hal.science/hal-01111551","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084830779","display_name":"Mioara Jolde\u015f","orcid":"https://orcid.org/0000-0001-7781-3745"},"institutions":[{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I134560555","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210107416","display_name":"Roche (France)","ror":"https://ror.org/01mqmer16","country_code":"FR","type":"company","lineage":["https://openalex.org/I118019719","https://openalex.org/I4210107416"]},{"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"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mioara Joldes","raw_affiliation_strings":["CNRS, LAAS Laboratory, 7 Avenue du Colonel Roche, Toulouse, France","LAAS-MAC - \u00c9quipe M\u00e9thodes et Algorithmes en Commande (France)"],"affiliations":[{"raw_affiliation_string":"CNRS, LAAS Laboratory, 7 Avenue du Colonel Roche, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I4210107416","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LAAS-MAC - \u00c9quipe M\u00e9thodes et Algorithmes en Commande (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088835826","display_name":"Olivier Marty","orcid":null},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Marty","raw_affiliation_strings":["ENS Cahan, 61 Avenue du Pr\u00e9sident Wilson, Cachan, France","ENS Cachan - \u00c9cole normale sup\u00e9rieure - Cachan (61, avenue du Pr\u00e9sident Wilson - 94230 Cachan - France)"],"affiliations":[{"raw_affiliation_string":"ENS Cahan, 61 Avenue du Pr\u00e9sident Wilson, Cachan, France","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"ENS Cachan - \u00c9cole normale sup\u00e9rieure - Cachan (61, avenue du Pr\u00e9sident Wilson - 94230 Cachan - France)","institution_ids":["https://openalex.org/I11559806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046395330","display_name":"Jean\u2010Michel Muller","orcid":"https://orcid.org/0000-0003-3588-0047"},"institutions":[{"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/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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Michel Muller","raw_affiliation_strings":["CNRS, LIP Laboratory, ENS Lyon, 46 All\u00e9e d'Italie, Lyon Cedex 07, France","CNRS - Centre National de la Recherche Scientifique (France)","ARIC - Arithmetic and Computing (46 All\u00e9e d'Italie \r\n69364 Lyon France - France)"],"affiliations":[{"raw_affiliation_string":"CNRS, LIP Laboratory, ENS Lyon, 46 All\u00e9e d'Italie, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"ARIC - Arithmetic and Computing (46 All\u00e9e d'Italie \r\n69364 Lyon France - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083277583","display_name":"Valentina Popescu","orcid":null},"institutions":[{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Valentina Popescu","raw_affiliation_strings":["LIP Laboratory, ENS Lyon, 46 All\u00e9e d'Italie, Lyon Cedex 07, France","ARIC - Arithmetic and Computing (46 All\u00e9e d'Italie \r\n69364 Lyon France - France)","ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)"],"affiliations":[{"raw_affiliation_string":"LIP Laboratory, ENS Lyon, 46 All\u00e9e d'Italie, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I113428412"]},{"raw_affiliation_string":"ARIC - Arithmetic and Computing (46 All\u00e9e d'Italie \r\n69364 Lyon France - France)","institution_ids":[]},{"raw_affiliation_string":"ENS de Lyon - \u00c9cole normale sup\u00e9rieure de Lyon (15 parvis Ren\u00e9 Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)","institution_ids":["https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5084830779"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I4210107416"],"apc_list":null,"apc_paid":null,"fwci":4.0952,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.94381102,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"65","issue":"4","first_page":"1197","last_page":"1210"},"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.9918000102043152,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9592000246047974,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.7239289283752441},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6017400622367859},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.5395597219467163},{"id":"https://openalex.org/keywords/reciprocal","display_name":"Reciprocal","score":0.5079229474067688},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48445653915405273},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.4699053168296814},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.442728728055954},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.42867547273635864},{"id":"https://openalex.org/keywords/machine-epsilon","display_name":"Machine epsilon","score":0.4256387948989868},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36045101284980774},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34586501121520996},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17046508193016052},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1219508945941925}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.7239289283752441},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6017400622367859},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.5395597219467163},{"id":"https://openalex.org/C2777742833","wikidata":"https://www.wikidata.org/wiki/Q1964083","display_name":"Reciprocal","level":2,"score":0.5079229474067688},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48445653915405273},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.4699053168296814},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.442728728055954},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.42867547273635864},{"id":"https://openalex.org/C203739276","wikidata":"https://www.wikidata.org/wiki/Q1780355","display_name":"Machine epsilon","level":2,"score":0.4256387948989868},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36045101284980774},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34586501121520996},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17046508193016052},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1219508945941925},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tc.2015.2441714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2441714","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-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-01111551v2","is_oa":true,"landing_page_url":"https://hal.science/hal-01111551","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, 2016, 65 (4), pp.1197 - 1210. &#x27E8;10.1109/TC.2015.2441714&#x27E9;","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01111551v2","is_oa":true,"landing_page_url":"https://hal.science/hal-01111551","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, 2016, 65 (4), pp.1197 - 1210. &#x27E8;10.1109/TC.2015.2441714&#x27E9;","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W149573860","https://openalex.org/W605824955","https://openalex.org/W1500512458","https://openalex.org/W1601585824","https://openalex.org/W1941428497","https://openalex.org/W1968165559","https://openalex.org/W1969213662","https://openalex.org/W1975810379","https://openalex.org/W1984470719","https://openalex.org/W2002064155","https://openalex.org/W2011777324","https://openalex.org/W2036537196","https://openalex.org/W2071430253","https://openalex.org/W2104380208","https://openalex.org/W2107161838","https://openalex.org/W2119352997","https://openalex.org/W2155673213","https://openalex.org/W2171324723","https://openalex.org/W6606104031","https://openalex.org/W6630007151"],"related_works":["https://openalex.org/W2937715180","https://openalex.org/W2728270059","https://openalex.org/W2012407419","https://openalex.org/W4376144198","https://openalex.org/W3007045670","https://openalex.org/W3039927303","https://openalex.org/W1965905913","https://openalex.org/W17415252","https://openalex.org/W1500512458","https://openalex.org/W1983325766"],"abstract_inverted_index":{"Many":[0],"numerical":[1],"problems":[2],"require":[3],"a":[4,29,136,165],"higher":[5],"computing":[6,124],"precision":[7,23,51,225,236],"than":[8],"the":[9,22,35,45,57,81,125,130,149,183,193,196,208,224,227],"one":[10],"offered":[11],"by":[12,73],"standard":[13,49],"floating-point":[14],"(FP)":[15],"formats.":[16],"One":[17],"common":[18],"way":[19],"of":[20,48,59,116,135,226],"extending":[21],"is":[24,71,141,223],"to":[25],"represent":[26],"numbers":[27,41],"in":[28],"<i>multiple":[30],"component</i>":[31],"format.":[32],"By":[33],"using":[34,60,154],"so-called":[36],"<i>floating-point":[37],"expansions</i>":[38],",":[39,217],"real":[40],"are":[42,152],"represented":[43],"as":[44,77],"unevaluated":[46],"sum":[47],"machine":[50],"FP":[52,68,101,117,137,160,185,228],"numbers.":[53],"This":[54],"representation":[55,229],"offers":[56],"simplicity":[58],"directly":[61],"available,":[62],"hardware":[63],"implemented":[64],"and":[65,99,106,113,129,237],"highly":[66],"optimized,":[67],"operations.":[69],"It":[70],"used":[72,122,230],"multiple-precision":[74],"libraries":[75],"such":[76],"Bailey's":[78],"QD":[79],"or":[80],"analogue":[82],"Graphics":[83],"Processing":[84],"Units":[85],"(GPU)":[86],"tuned":[87],"version,":[88],"GQD.":[89],"In":[90],"this":[91],"article":[92],"we":[93,104],"briefly":[94],"revisit":[95],"algorithms":[96,109],"for":[97,110,123,192,207,234,240],"adding":[98],"multiplying":[100],"expansions,":[102],"then":[103],"introduce":[105],"prove":[107],"new":[108,120],"normalizing,":[111],"dividing":[112],"square":[114,131,209],"rooting":[115],"expansions.":[118,161],"The":[119],"method":[121],"reciprocal":[126,194],"<inline-formula><tex-math":[127,133,139,179,187,200,212,232,238],"notation=\"LaTeX\">${a}^{-1}$</tex-math></inline-formula>":[128],"root":[132,210],"notation=\"LaTeX\">$\\sqrt{a}$</tex-math></inline-formula>":[134],"expansion":[138,186],"notation=\"LaTeX\">$a$</tex-math></inline-formula>":[140],"based":[142],"on":[143],"an":[144],"adapted":[145],"Newton-Raphson":[146],"iteration":[147],"where":[148,218],"intermediate":[150],"calculations":[151],"done":[153],"\u201ctruncated\u201d":[155],"operations":[156],"(additions,":[157],"multiplications)":[158],"involving":[159],"We":[162],"give":[163],"here":[164],"thorough":[166],"error":[167,198],"analysis":[168],"showing":[169],"that":[170],"it":[171],"allows":[172],"very":[173],"accurate":[174],"computations.":[175],"More":[176],"precisely,":[177],"after":[178],"notation=\"LaTeX\">$q$</tex-math>":[180],"</inline-formula>":[181,190],"iterations,":[182],"computed":[184],"notation=\"LaTeX\">$x=x_0+\\ldots":[188],"+x_{2^q-1}$</tex-math>":[189],"satisfies,":[191],"algorithm,":[195],"relative":[197],"bound:":[199],"notation=\"LaTeX\">":[201,213],"$\\left|({x-a^{-1}})/{a^{-1}}\\right|":[202],"\\le":[203,215],"2^{-2^q(p-3)-1}$</tex-math></inline-formula>":[204],"and,":[205],"respectively,":[206],"one:":[211],"$\\left|x-{1}/{\\sqrt{a}}\\right|":[214],"{2^{-2^q(p-3)-1}}/{\\sqrt{a}}$</tex-math></inline-formula>":[216],"<inline-formula>":[219],"<tex-math":[220],"notation=\"LaTeX\">$p&gt;":[221],"2$</tex-math></inline-formula>":[222],"(":[231],"notation=\"LaTeX\">$p=24$</tex-math></inline-formula>":[233],"single":[235],"notation=\"LaTeX\">$p=53$</tex-math></inline-formula>":[239],"double":[241],"precision).":[242]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}