{"id":"https://openalex.org/W2296909587","doi":"https://doi.org/10.1090/mcom/3123","title":"Error bounds on complex floating-point multiplication with an FMA","display_name":"Error bounds on complex floating-point multiplication with an FMA","publication_year":2016,"publication_date":"2016-03-23","ids":{"openalex":"https://openalex.org/W2296909587","doi":"https://doi.org/10.1090/mcom/3123","mag":"2296909587"},"language":"en","primary_location":{"id":"doi:10.1090/mcom/3123","is_oa":false,"landing_page_url":"https://doi.org/10.1090/mcom/3123","pdf_url":null,"source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110323255","display_name":"Claude Pierre Jeannerod","orcid":null},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","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":false,"raw_author_name":"Claude-Pierre Jeannerod","raw_affiliation_strings":["Inria, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091726549","display_name":"Peter Kornerup","orcid":null},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Kornerup","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Southern Denmark, Campusvej 55, DK-5230 Odense M, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Southern Denmark, Campusvej 55, DK-5230 Odense M, Denmark","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102976183","display_name":"Nicolas Louvet","orcid":"https://orcid.org/0000-0002-5861-0819"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","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":false,"raw_author_name":"Nicolas Louvet","raw_affiliation_strings":["UCBL, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCBL, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046395330","display_name":"Jean\u2010Michel Muller","orcid":"https://orcid.org/0000-0003-3588-0047"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","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":false,"raw_author_name":"Jean-Michel Muller","raw_affiliation_strings":["CNRS, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, Laboratoire LIP (CNRS, ENS de Lyon, Inria, UCBL), Universit\u00c3\u00a9 de Lyon, 46, all\u00c3\u00a9e d\u00e2\u0080\u0099Italie, 69364 Lyon cedex 07, France","institution_ids":["https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2441,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.92175292,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"86","issue":"304","first_page":"881","last_page":"898"},"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.988099992275238,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9857000112533569,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8846269845962524},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.7415428161621094},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.6143499612808228},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.23950859904289246}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8846269845962524},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.7415428161621094},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6143499612808228},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.23950859904289246}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1090/mcom/3123","is_oa":false,"landing_page_url":"https://doi.org/10.1090/mcom/3123","pdf_url":null,"source":{"id":"https://openalex.org/S102439543","display_name":"Mathematics of Computation","issn_l":"0025-5718","issn":["0025-5718","1088-6842"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315719","host_organization_name":"American Mathematical Society","host_organization_lineage":["https://openalex.org/P4310315719"],"host_organization_lineage_names":["American Mathematical Society"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematics of Computation","raw_type":"journal-article"},{"id":"pmh:oai:sdu.dk:openaire/a6cdeab8-10de-4427-9a91-de1019063129","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/a6cdeab8-10de-4427-9a91-de1019063129","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Jeannerod, C P, Kornerup, P, Louvet, N & Muller, J M 2017, 'Error bounds on complex floating-point multiplication with an fma', Mathematics of Computation, vol. 86, no. 304, pp. 881-898. https://doi.org/10.1090/mcom/3123","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.398.6966","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.398.6966","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/86/70/40/PDF/JeKoLoMu13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.406.5245","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.5245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://perso.ens-lyon.fr/jean-michel.muller/JeKoLoMu13-submission.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.642.2318","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.642.2318","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.imada.sdu.dk/~kornerup/papers/article.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.717.1084","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.717.1084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://perso.ens-lyon.fr/jean-michel.muller/MathsComp2015.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00867040v5","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00867040","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematics of Computation, 2017, 86 (304), pp. 881-898. &#x27E8;10.1090/mcom/3123&#x27E9;","raw_type":"Journal articles"},{"id":"pmh:oai:sdu.dk:Publications/a6cdeab8-10de-4427-9a91-de1019063129","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W605824955","https://openalex.org/W1535070383","https://openalex.org/W1535645767","https://openalex.org/W1969155620","https://openalex.org/W1982696069","https://openalex.org/W1986849004","https://openalex.org/W1997965419","https://openalex.org/W2012407419","https://openalex.org/W2074590072","https://openalex.org/W2078207501","https://openalex.org/W2082860648","https://openalex.org/W2132612109","https://openalex.org/W2213398780","https://openalex.org/W2887397219","https://openalex.org/W3022909171","https://openalex.org/W4296157160"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W2057797376","https://openalex.org/W2090319426","https://openalex.org/W2036954759","https://openalex.org/W2506252583","https://openalex.org/W4406620725","https://openalex.org/W2048249848"],"abstract_inverted_index":{"The":[0],"accuracy":[1,257],"analysis":[2],"of":[3,141,234,292],"complex":[4,143],"floating-point":[5,33,293,399],"multiplication":[6],"done":[7],"by":[8],"Brent,":[9],"Percival,":[10],"and":[11,39],"Zimmermann":[12],"[":[13],"<italic>Math.":[14],"Comp.</italic>":[15],",":[16,54,417],"76:1469\u20131481,":[17],"2007]":[18],"is":[19,30,209,282],"extended":[20],"to":[21,37,161,254,288],"the":[22,86,180,183,191,227,244,255,277,289,300],"case":[23],"where":[24],"a":[25,142],"fused":[26],"multiply-add":[27],"(FMA)":[28],"operation":[29,229],"available.":[31],"Considering":[32],"arithmetic":[34],"with":[35,401],"rounding":[36,236],"nearest":[38],"unit":[40],"roundoff":[41],"<inline-formula":[42,60,90,145,162,193,258,307,370,403,419],"content-type=\"math/mathml\">":[43,61,91,146,163,194,259,308,371,404,420],"<mml:math":[44,62,92,147,164,195,260,309,372,405,421],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[45,63,93,148,165,196,261,310,373,406,422],"alttext=\"u\">":[46],"<mml:semantics>":[47,68,104,150,168,199,264,324,377,408,424],"<mml:mi>u</mml:mi>":[48,75,171,202,267,359,379],"<mml:annotation":[49,77,135,152,173,204,269,361,386,412,426],"encoding=\"application/x-tex\">u</mml:annotation>":[50],"</mml:semantics>":[51,82,138,154,175,206,271,366,389,414],"</mml:math>":[52,83,139,155,176,207,272,367,390,415],"</inline-formula>":[53,84,140,156,177,208,273,368,391,416],"we":[55,188,297],"show":[56],"that":[57,190,299],"their":[58],"bound":[59],"alttext=\"StartRoot":[64],"5":[65,79],"EndRoot":[66],"u\">":[67,167,198,263,323],"<mml:mrow>":[69,105,169,200,265,325,378],"<mml:msqrt>":[70],"<mml:mn>5</mml:mn>":[71],"</mml:msqrt>":[72],"<mml:mspace":[73],"width=\"thinmathspace\"/>":[74],"</mml:mrow>":[76,110,119,123,133,134,172,203,268,330,339,343,353,360,385],"encoding=\"application/x-tex\">\\sqrt":[78],"\\,":[80],"u</mml:annotation>":[81],"on":[85],"normwise":[87,256,301],"relative":[88,302],"error":[89,237,303],"alttext=\"StartAbsoluteValue":[94,311],"ModifyingAbove":[95,312],"z":[96,100,313,317],"With":[97,314],"caret":[98,315],"slash":[99,316],"minus":[101,318],"1":[102,319],"EndAbsoluteValue\">":[103],"<mml:mrow":[106,111,120,129,326,331,340,349],"class=\"MJX-TeXAtom-ORD\">":[107,112,121,130,327,332,341,350],"<mml:mo":[108,131,328,351,354,380],"stretchy=\"false\">|</mml:mo>":[109,132,329,352],"<mml:mover>":[113,333],"<mml:mi>z</mml:mi>":[114,124,151,334,344],"<mml:mo>":[115,125,335,345],"^":[116,336],"</mml:mo>":[117,127,337,347,357,383],"</mml:mover>":[118,338],"<mml:mo>/</mml:mo>":[122,342],"\u2212":[126,346],"<mml:mn>1</mml:mn>":[128,348],"encoding=\"application/x-tex\">|\\widehat":[136,362],"z/z-1|</mml:annotation>":[137],"product":[144],"alttext=\"z\">":[149],"encoding=\"application/x-tex\">z</mml:annotation>":[153],"can":[157],"be":[158],"decreased":[159],"further":[160],"alttext=\"2":[166,197,262],"<mml:mn>2</mml:mn>":[170,201,266,358],"encoding=\"application/x-tex\">2u</mml:annotation>":[174,205,270],"when":[178],"using":[179,276],"FMA":[181,228,278],"in":[182,243],"most":[184],"naive":[185,216],"way.":[186],"Furthermore,":[187],"prove":[189,298],"term":[192],"asymptotically":[210],"optimal":[211],"not":[212],"only":[213],"for":[214,221,284,295,397],"this":[215],"FMA-based":[217],"algorithm":[218,286],"but":[219],"also":[220],"two":[222,248],"other":[223],"algorithms,":[224],"which":[225,296],"use":[226],"as":[230,369],"an":[231],"efficient":[232],"way":[233],"implementing":[235],"compensation.":[238],"Thus,":[239],"although":[240],"highly":[241],"accurate":[242],"componentwise":[245],"sense,":[246],"these":[247],"compensated":[249],"algorithms":[250],"bring":[251],"no":[252],"improvement":[253],"already":[274],"achieved":[275],"naively.":[279],"Asymptotic":[280],"optimality":[281],"established":[283],"each":[285],"thanks":[287],"explicit":[290],"construction":[291],"inputs":[294],"then":[304],"generated":[305],"satisfies":[306],"EndAbsoluteValue":[320],"right-arrow":[321,375],"2":[322],"stretchy=\"false\">":[355,381],"\u2192":[356,382],"z/z-1|":[363],"\\to":[364],"2u</mml:annotation>":[365],"alttext=\"u":[374],"0\">":[376],"<mml:mn>0</mml:mn>":[384],"encoding=\"application/x-tex\">u\\to":[387],"0</mml:annotation>":[388],".":[392],"All":[393],"our":[394],"results":[395],"hold":[396],"IEEE":[398],"arithmetic,":[400],"radix":[402],"alttext=\"beta\">":[407],"<mml:mi>":[409],"\u03b2":[410],"</mml:mi>":[411],"encoding=\"application/x-tex\">\\beta</mml:annotation>":[413],"precision":[418],"alttext=\"p\">":[423],"<mml:mi>p</mml:mi>":[425],"encoding=\"application/x-tex\">p</m":[427]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}