{"id":"https://openalex.org/W2085706674","doi":"https://doi.org/10.1016/s1571-0661(04)80408-0","title":"Properties of the subtraction valid for any floating point system","display_name":"Properties of the subtraction valid for any floating point system","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W2085706674","doi":"https://doi.org/10.1016/s1571-0661(04)80408-0","mag":"2085706674"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80408-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80408-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80408-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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/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"]},{"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/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":"Sylvie Boldo","raw_affiliation_strings":["Laboratoire de l'Informatique du Paralllisme, UMR 5668 - CNRS - ENS de Lyon - INRIA"],"affiliations":[{"raw_affiliation_string":"Laboratoire de l'Informatique du Paralllisme, UMR 5668 - CNRS - ENS de Lyon - INRIA","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I1326498283","https://openalex.org/I113428412","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025003300","display_name":"Marc Daumas","orcid":null},"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/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"]},{"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/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":"Marc Daumas","raw_affiliation_strings":["Laboratoire de l'Informatique du Paralllisme, UMR 5668 - CNRS - ENS de Lyon - INRIA"],"affiliations":[{"raw_affiliation_string":"Laboratoire de l'Informatique du Paralllisme, UMR 5668 - CNRS - ENS de Lyon - INRIA","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I1326498283","https://openalex.org/I113428412","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5031775383"],"corresponding_institution_ids":["https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144566"],"apc_list":null,"apc_paid":null,"fwci":0.6775,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6816755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"66","issue":"2","first_page":"132","last_page":"144"},"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.9933000206947327,"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/T11417","display_name":"Advancements in PLL and VCO Technologies","score":0.9779000282287598,"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/subtraction","display_name":"Subtraction","score":0.5716572999954224},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5388550162315369},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5369007587432861},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.4696245491504669},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4550808370113373},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.394275426864624},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3618592619895935},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35068994760513306},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.16923391819000244}],"concepts":[{"id":"https://openalex.org/C68060419","wikidata":"https://www.wikidata.org/wiki/Q40754","display_name":"Subtraction","level":2,"score":0.5716572999954224},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5388550162315369},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5369007587432861},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.4696245491504669},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4550808370113373},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.394275426864624},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3618592619895935},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35068994760513306},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.16923391819000244},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80408-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80408-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80408-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80408-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W117419789","https://openalex.org/W581104972","https://openalex.org/W1533404702","https://openalex.org/W1589799477","https://openalex.org/W1595501494","https://openalex.org/W1624871165","https://openalex.org/W1672719503","https://openalex.org/W1981663184","https://openalex.org/W1993958752","https://openalex.org/W2029745051","https://openalex.org/W2099571283","https://openalex.org/W2112662553","https://openalex.org/W2122627858","https://openalex.org/W2169004268","https://openalex.org/W2985271394","https://openalex.org/W4298330978","https://openalex.org/W6655892977","https://openalex.org/W6844280053"],"related_works":["https://openalex.org/W2036954759","https://openalex.org/W4238090084","https://openalex.org/W2013798374","https://openalex.org/W2037752418","https://openalex.org/W4237775389","https://openalex.org/W2049680169","https://openalex.org/W4255129386","https://openalex.org/W2025161972","https://openalex.org/W1978352992","https://openalex.org/W3119238758"],"abstract_inverted_index":{"We":[0,14,55],"start":[1],"in":[2,89,107],"this":[3,57,90],"text":[4,58,91],"with":[5],"a":[6,18],"very":[7,20],"generic":[8],"definition":[9],"of":[10,32],"floating":[11,34],"point":[12,35],"systems.":[13],"show":[15],"that":[16,78],"just":[17],"few":[19],"natural":[21],"necessary":[22],"conditions":[23],"are":[24,53],"sufficient":[25],"to":[26,29,101],"focus":[27],"down":[28],"two":[30],"classes":[31],"implemented":[33],"arithmetic.":[36],"Later,":[37],"we":[38],"prove":[39],"that,":[40],"for":[41,81,104],"all":[42],"the":[43,62,96],"existing":[44],"implementations,":[45],"high":[46],"level":[47],"properties":[48],"such":[49,110],"as":[50,111],"Sterbenz's":[51],"theorem":[52],"satisfied.":[54],"finish":[56],"by":[59,95],"focusing":[60],"on":[61],"differences":[63],"between":[64],"an":[65,112],"IEEE-754":[66],"compatible":[67],"unit":[68],"and":[69,83],"Texas":[70],"Instrument":[71],"TMS/SMJ":[72],"320C3x":[73],"digital":[74],"signal":[75],"processing":[76],"circuit":[77],"is":[79],"recommended":[80],"avionics":[82],"military":[84],"applications.":[85],"The":[86],"results":[87],"presented":[88],"have":[92],"been":[93],"validated":[94],"Coq":[97],"automatic":[98],"proof":[99],"checker":[100],"build":[102],"confidence":[103],"later":[105],"implementations":[106],"critical":[108],"systems":[109],"aircraft":[113],"flight":[114],"control":[115],"primary":[116],"or":[117],"secondary":[118],"computer.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}