{"id":"https://openalex.org/W4388638649","doi":"https://doi.org/10.1142/s0218194023500675","title":"SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision","display_name":"SCR-LIBM: A Correctly Rounded Elementary Function Library in Double-Precision","publication_year":2023,"publication_date":"2023-11-13","ids":{"openalex":"https://openalex.org/W4388638649","doi":"https://doi.org/10.1142/s0218194023500675"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194023500675","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1142/s0218194023500675","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5101549095","display_name":"Yang Qu","orcid":"https://orcid.org/0009-0000-0575-896X"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Qu","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100743219","display_name":"Jinchen Xu","orcid":"https://orcid.org/0000-0002-6275-2617"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinchen Xu","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102943325","display_name":"Bei Zhou","orcid":"https://orcid.org/0000-0003-1515-0602"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bei Zhou","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101599802","display_name":"Jiangwei Hao","orcid":"https://orcid.org/0000-0001-6012-0870"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangwei Hao","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100740278","display_name":"Li Fei","orcid":"https://orcid.org/0009-0002-1706-3625"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei Li","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035064494","display_name":"Zuoyan Zhang","orcid":"https://orcid.org/0009-0005-2615-2541"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuoyan Zhang","raw_affiliation_strings":["School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Information Engineering University, Zhengzhou 450001, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I169689159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100743219"],"corresponding_institution_ids":["https://openalex.org/I169689159"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22780129,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"04","first_page":"675","last_page":"703"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9959999918937683,"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.9959999918937683,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.9832000136375427,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9671000242233276,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/rounding","display_name":"Rounding","score":0.944424033164978},{"id":"https://openalex.org/keywords/elementary-function","display_name":"Elementary function","score":0.69942706823349},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.6642655730247498},{"id":"https://openalex.org/keywords/double-precision-floating-point-format","display_name":"Double-precision floating-point format","score":0.6179335117340088},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5466128587722778},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5095401406288147},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5067711472511292},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.49899959564208984},{"id":"https://openalex.org/keywords/round-off-error","display_name":"Round-off error","score":0.4351421296596527},{"id":"https://openalex.org/keywords/single-precision-floating-point-format","display_name":"Single-precision floating-point format","score":0.411196768283844},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.37238818407058716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36730775237083435},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3241131901741028},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.14817041158676147},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.13286462426185608}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.944424033164978},{"id":"https://openalex.org/C182408441","wikidata":"https://www.wikidata.org/wiki/Q824282","display_name":"Elementary function","level":2,"score":0.69942706823349},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.6642655730247498},{"id":"https://openalex.org/C35912277","wikidata":"https://www.wikidata.org/wiki/Q1243369","display_name":"Double-precision floating-point format","level":3,"score":0.6179335117340088},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5466128587722778},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5095401406288147},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5067711472511292},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.49899959564208984},{"id":"https://openalex.org/C61005703","wikidata":"https://www.wikidata.org/wiki/Q2145211","display_name":"Round-off error","level":2,"score":0.4351421296596527},{"id":"https://openalex.org/C133095886","wikidata":"https://www.wikidata.org/wiki/Q1307173","display_name":"Single-precision floating-point format","level":3,"score":0.411196768283844},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.37238818407058716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36730775237083435},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3241131901741028},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.14817041158676147},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.13286462426185608},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194023500675","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1142/s0218194023500675","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W65339224","https://openalex.org/W182691100","https://openalex.org/W1969213662","https://openalex.org/W1990097712","https://openalex.org/W2012407419","https://openalex.org/W2045321244","https://openalex.org/W2056595762","https://openalex.org/W2101268315","https://openalex.org/W2104895541","https://openalex.org/W2109358422","https://openalex.org/W2113827471","https://openalex.org/W2137458298","https://openalex.org/W2165473980","https://openalex.org/W2296883202","https://openalex.org/W2612874433","https://openalex.org/W2617491690","https://openalex.org/W2751960510","https://openalex.org/W2793651583","https://openalex.org/W2889796855","https://openalex.org/W2907642723","https://openalex.org/W3005884183","https://openalex.org/W3021994671","https://openalex.org/W3080914972","https://openalex.org/W3115377313","https://openalex.org/W3170765902","https://openalex.org/W4213324292","https://openalex.org/W4225503996"],"related_works":["https://openalex.org/W3150370983","https://openalex.org/W2239119680","https://openalex.org/W1564887326","https://openalex.org/W3150959508","https://openalex.org/W2116803521","https://openalex.org/W2773283032","https://openalex.org/W1571090276","https://openalex.org/W2039651143","https://openalex.org/W2937715180","https://openalex.org/W2137776702"],"abstract_inverted_index":{"The":[0,147],"MPFR":[1,28],"and":[2,76,85,110,115,128,169],"CR-LIBM":[3,35,48,176],"math":[4],"libraries":[5],"are":[6],"frequently":[7],"utilized":[8],"due":[9],"to":[10,13,82,91,118],"their":[11],"ability":[12],"generate":[14],"correctly":[15,64,139],"rounded":[16,65],"results":[17],"for":[18,144],"all":[19],"double-precision":[20],"inputs.":[21],"However,":[22],"it":[23,43],"is":[24,74,81,138,161,189],"worth":[25],"noting":[26],"that":[27,134,151,166,174],"has":[29,49],"a":[30,50,63],"slower":[31],"average":[32,153],"performance,":[33],"while":[34],"achieves":[36],"correct":[37,58,183],"rounding":[38],"over":[39],"two":[40],"iterations,":[41],"rendering":[42],"less":[44],"stable.":[45],"In":[46],"addition,":[47],"poor":[51],"performance":[52,154],"in":[53,71,96,122,159],"handling":[54],"the":[55,87,93,101,106,112,120,123,135,142,152,180],"worst-case":[56,181],"of":[57,125,155,167,175,182],"rounding.":[59,184],"This":[60],"paper":[61],"implements":[62],"elementary":[66,94,136,156],"function":[67,95,137],"library":[68],"called":[69],"SCR-LIBM":[70,160,188],"double-precision,":[72],"which":[73],"stable":[75,191],"efficient.":[77],"Our":[78,131],"key":[79],"idea":[80],"divide":[83],"subdomains":[84],"use":[86,111],"low-degree":[88],"Taylor":[89],"polynomial":[90,126],"approximate":[92],"each":[97],"subdomain.":[98],"We":[99],"simulate":[100],"high-precision":[102],"representation":[103],"based":[104],"on":[105],"double\u2013double":[107],"data":[108],"format,":[109],"error-free":[113],"transformation":[114],"Double-double":[116],"algorithm":[117],"control":[119],"error":[121],"process":[124],"approximation":[127],"output":[129],"compensation.":[130],"approach":[132],"ensures":[133],"rounded,":[140],"without":[141],"need":[143],"redundant":[145],"iterations.":[146],"experimental":[148],"evaluation":[149],"shows":[150],"functions":[157],"implemented":[158],"8.534":[162],"times":[163,171],"faster":[164,172],"than":[165,173,192],"MPFR,":[168],"2.492":[170],"when":[177],"dealing":[178],"with":[179],"What\u2019s":[185],"more,":[186],"our":[187],"more":[190],"CR-LIBM.":[193]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}
