{"id":"https://openalex.org/W2150527074","doi":"https://doi.org/10.1109/arith.2003.1207670","title":"Theorems on efficient argument reductions","display_name":"Theorems on efficient argument reductions","publication_year":2004,"publication_date":"2004-03-22","ids":{"openalex":"https://openalex.org/W2150527074","doi":"https://doi.org/10.1109/arith.2003.1207670","mag":"2150527074"},"language":"en","primary_location":{"id":"doi:10.1109/arith.2003.1207670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith.2003.1207670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00156244","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011252539","display_name":"Ren\u2010Cang Li","orcid":"https://orcid.org/0000-0002-4388-3398"},"institutions":[{"id":"https://openalex.org/I143302722","display_name":"University of Kentucky","ror":"https://ror.org/02k3smh20","country_code":"US","type":"education","lineage":["https://openalex.org/I143302722"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R.-C. Li","raw_affiliation_strings":["Department of Mathematics, University of Kentucky, Lexington, KY, USA","Department of Mathematics (719 Patterson Office Tower University of Kentucky Lexington, KY 40506--0027 USA - \u00c9tats-Unis)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Kentucky, Lexington, KY, USA","institution_ids":["https://openalex.org/I143302722"]},{"raw_affiliation_string":"Department of Mathematics (719 Patterson Office Tower University of Kentucky Lexington, KY 40506--0027 USA - \u00c9tats-Unis)","institution_ids":["https://openalex.org/I143302722"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031775383","display_name":"Sylvie Boldo","orcid":"https://orcid.org/0000-0002-1970-3019"},"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"]},{"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"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S. Boldo","raw_affiliation_strings":["Laboratoire de l'Informatique du Parall\u00e9lisme, UMR 5668 CNRS-ENS de Lyon-INRIA, France","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, UMR 5668 CNRS-ENS de Lyon-INRIA, France","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144566"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210144566"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025003300","display_name":"Marc Daumas","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"]},{"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"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M. Daumas","raw_affiliation_strings":["Laboratoire de l'Informatique du Parall\u00e9lisme, UMR 5668 CNRS-ENS de Lyon-INRIA, France","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, UMR 5668 CNRS-ENS de Lyon-INRIA, France","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144566"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4210144566"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"129","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":1.0,"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":1.0,"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.9890999794006348,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9779999852180481,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.699933648109436},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49265962839126587},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4901915192604065},{"id":"https://openalex.org/keywords/trigonometric-functions","display_name":"Trigonometric functions","score":0.47478100657463074},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.46780088543891907},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45850497484207153},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.4404405951499939},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4393848478794098},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.432011216878891},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4250921607017517},{"id":"https://openalex.org/keywords/trigonometry","display_name":"Trigonometry","score":0.41949814558029175},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3527137339115143},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.15655973553657532}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.699933648109436},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49265962839126587},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4901915192604065},{"id":"https://openalex.org/C178009071","wikidata":"https://www.wikidata.org/wiki/Q93344","display_name":"Trigonometric functions","level":2,"score":0.47478100657463074},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.46780088543891907},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45850497484207153},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.4404405951499939},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4393848478794098},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.432011216878891},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4250921607017517},{"id":"https://openalex.org/C29001434","wikidata":"https://www.wikidata.org/wiki/Q8084","display_name":"Trigonometry","level":2,"score":0.41949814558029175},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3527137339115143},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.15655973553657532},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/arith.2003.1207670","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith.2003.1207670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.573.5602","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.573.5602","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.archives-ouvertes.fr/docs/00/15/62/44/PDF/LiBolDau03.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.576.8363","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.576.8363","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.uta.edu/faculty/rcli/papers/libd2003.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.73.3801","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.3801","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.acsel-lab.com/arithmetic/arith16/papers/ARITH16_Li.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00156244v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00156244","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":"16th IEEE Symposium on Computer Arithmetic, 2003, Santiago de Compostela, Spain. pp.129-136, ⟨10.1109/ARITH.2003.1207670⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00156244v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00156244","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":"16th IEEE Symposium on Computer Arithmetic, 2003, Santiago de Compostela, Spain. pp.129-136, ⟨10.1109/ARITH.2003.1207670⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1297767151","display_name":"Collaborative Research: High Performance Multi-Scale Ocean  Modelling","funder_award_id":"9721388","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4748035332","display_name":"CAREER: Fast and Accurate Computations of Applied Eigenproblems","funder_award_id":"9875201","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W144074862","https://openalex.org/W581104972","https://openalex.org/W1533404702","https://openalex.org/W1559647048","https://openalex.org/W1594496874","https://openalex.org/W1595501494","https://openalex.org/W1844620123","https://openalex.org/W1975054686","https://openalex.org/W1986396242","https://openalex.org/W2020804487","https://openalex.org/W2044623988","https://openalex.org/W2065534115","https://openalex.org/W2080210672","https://openalex.org/W2169004268","https://openalex.org/W2752061190","https://openalex.org/W2752853835","https://openalex.org/W2979730858","https://openalex.org/W2987803397","https://openalex.org/W3022909171","https://openalex.org/W4232621341","https://openalex.org/W4252124868","https://openalex.org/W4285719527","https://openalex.org/W6616862360","https://openalex.org/W6633382756","https://openalex.org/W6635398164","https://openalex.org/W6655892977","https://openalex.org/W6744529318"],"related_works":["https://openalex.org/W634571496","https://openalex.org/W579400037","https://openalex.org/W2951578208","https://openalex.org/W1570037808","https://openalex.org/W4386784405","https://openalex.org/W115184939","https://openalex.org/W4285286257","https://openalex.org/W4298173607","https://openalex.org/W2153015377","https://openalex.org/W4255129386"],"abstract_inverted_index":{"A":[0],"commonly":[1],"used":[2],"argument":[3,49],"reduction":[4],"technique":[5],"in":[6,235],"elementary":[7],"function":[8,52],"computations":[9],"begins":[10],"with":[11,68],"two":[12],"positive":[13],"floating":[14,129,214],"point":[15,130,215],"numbers":[16,29],"/spl":[17,20,66,75,86,191,193,197,199],"alpha/":[18,62,192],"and":[19,31,41,73,84,91,115,153,188,196],"gamma/":[21,102,121,169,198,211],"that":[22,174,179,239],"approximate":[23],"(usually":[24],"irrational":[25],"but":[26],"not":[27,123],"necessarily)":[28],"1/C":[30,195],"C,":[32],"e.g.,":[33],"C":[34,201],"=":[35,63,70,95],"2/spl":[36],"pi/":[37],"for":[38,44,111,243],"trigonometric":[39],"functions":[40],"ln":[42],"2":[43],"e/sup":[45],"x/.":[46],"Given":[47],"an":[48],"to":[50,160,202],"the":[51,107,133,142,146,150,163,204,218,226],"of":[53,132,165,217],"interest":[54],"it":[55],"extracts":[56],"z":[57,64,69],"as":[58],"defined":[59],"by":[60,127],"x/spl":[61],"+":[65],"sigmav/":[67],"k2/sup":[71],"-N/":[72],"|sigmav;|":[74],"les/":[76],"2/sup":[77],"-N-1/,":[78],"where":[79],"k,":[80],"N":[81,85],"are":[82],"integers":[83],"ges/":[87],"0":[88],"is":[89,145,158,212,228],"preselected,":[90],"then":[92],"computes":[93],"u":[94],"x":[96,118,166,208],"-":[97,119,167,209],"z/spl":[98,101,120,168,210],"gamma/.":[99],"Usually":[100],"takes":[103],"more":[104],"bits":[105,164],"than":[106],"working":[108,143,206],"precision":[109,144],"provides":[110],"storing":[112],"its":[113],"significant":[114],"thus":[116,154],"exact":[117],"may":[122],"be":[124,181],"represented":[125],"exactly":[126],"a":[128,213],"number":[131,216],"same":[134,219],"precision.":[135,220],"This":[136],"will":[137,232],"cause":[138],"performance":[139],"penalty":[140],"when":[141],"highest":[147],"available":[148],"on":[149,184,225,237],"underlying":[151],"hardware":[152,187,241],"considerable":[155],"extra":[156],"work":[157],"needed":[159],"get":[161],"all":[162],"right.":[170],"We":[171],"present":[172],"theorems":[173,227],"show":[175],"under":[176],"mild":[177],"conditions":[178],"can":[180],"easily":[182],"met":[183],"today's":[185],"computer":[186],"still":[189],"allow":[190],"ap/":[194,200],"almost":[203],"full":[205],"precision,":[207],"An":[221],"algorithmic":[222],"procedure":[223],"based":[224],"obtained.":[229],"The":[230],"results":[231],"enhance":[233],"performance,":[234],"particular":[236],"machines":[238],"has":[240],"support":[242],"fused":[244],"multiply-add":[245],"(fma)":[246],"instruction(s).":[247]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}