{"id":"https://openalex.org/W1941428497","doi":"https://doi.org/10.1109/arith.1999.762834","title":"Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms","display_name":"Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms","publication_year":2003,"publication_date":"2003-01-20","ids":{"openalex":"https://openalex.org/W1941428497","doi":"https://doi.org/10.1109/arith.1999.762834","mag":"1941428497"},"language":"en","primary_location":{"id":"doi:10.1109/arith.1999.762834","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith.1999.762834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5037677778","display_name":"M.A. Cornea-Hasegan","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M.A. Cornea-Hasegan","raw_affiliation_strings":["Intel Corporation, Hillsboro, OR, USA","Intel Corporation, , Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, , Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075898077","display_name":"Roger A. Golliver","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]},{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"R.A. Golliver","raw_affiliation_strings":["Intel Corporation, Hillsboro, OR, USA","Intel Corporation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation","institution_ids":["https://openalex.org/I4210158342"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058871871","display_name":"Peter Markstein","orcid":null},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Markstein","raw_affiliation_strings":["Hewlett Packard Company, Palo Alto, CA, USA","Hewlett Packard"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard Company, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"Hewlett Packard","institution_ids":["https://openalex.org/I1324840837"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1261,"has_fulltext":false,"cited_by_count":52,"citation_normalized_percentile":{"value":0.92098858,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"96","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998000264167786,"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.9998000264167786,"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.9747999906539917,"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9695000052452087,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8313850164413452},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6880708336830139},{"id":"https://openalex.org/keywords/ieee-floating-point","display_name":"IEEE floating point","score":0.6723529100418091},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6599551439285278},{"id":"https://openalex.org/keywords/newtons-method","display_name":"Newton's method","score":0.5989285707473755},{"id":"https://openalex.org/keywords/square-root","display_name":"Square root","score":0.5880646109580994},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.5828680992126465},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.5146247148513794},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.44876572489738464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26843997836112976},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.1154303252696991}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8313850164413452},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6880708336830139},{"id":"https://openalex.org/C137231763","wikidata":"https://www.wikidata.org/wiki/Q828287","display_name":"IEEE floating point","level":3,"score":0.6723529100418091},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6599551439285278},{"id":"https://openalex.org/C85189116","wikidata":"https://www.wikidata.org/wiki/Q374195","display_name":"Newton's method","level":3,"score":0.5989285707473755},{"id":"https://openalex.org/C11577676","wikidata":"https://www.wikidata.org/wiki/Q134237","display_name":"Square root","level":2,"score":0.5880646109580994},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.5828680992126465},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.5146247148513794},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.44876572489738464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26843997836112976},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.1154303252696991},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/arith.1999.762834","is_oa":false,"landing_page_url":"https://doi.org/10.1109/arith.1999.762834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.26.9954","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.9954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://euler.ecs.umass.edu/paper/final/paper-121.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.69.8733","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.8733","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/arith14/papers/ARITH14_Cornea_Hasegan.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4699999988079071}],"awards":[],"funders":[{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1612551514","https://openalex.org/W2023462640","https://openalex.org/W2796781784","https://openalex.org/W4236135525"],"related_works":["https://openalex.org/W2596474508","https://openalex.org/W3193325075","https://openalex.org/W1573821047","https://openalex.org/W3133934505","https://openalex.org/W2797902698","https://openalex.org/W4376144198","https://openalex.org/W2384131399","https://openalex.org/W2576390192","https://openalex.org/W2070160710","https://openalex.org/W3200055559"],"abstract_inverted_index":{"This":[0,88],"paper":[1],"describes":[2],"a":[3,6,100,129,146],"study":[4,89,131],"of":[5,8,34,58,72,84,86,102,120,151,177,229],"class":[7,101],"algorithms":[9,122,160,213],"for":[10,45,99,154],"the":[11,20,31,42,59,69,97,109,117,140,163,169,174,178,194],"floating-point":[12,37,47,155,231],"divide":[13,103,156],"and":[14,104,132,148,157,205],"square":[15,105,158,179],"root":[16,106,159,180],"operations,":[17],"based":[18,61,107,161,192,233],"on":[19,52,108,162,193,234],"Newton-Raphson":[21,164,195],"iterative":[22,36,55,111,165,188],"method.":[23,166,196],"The":[24,49,143],"two":[25],"main":[26],"goals":[27],"were.":[28],"(1)":[29],"Proving":[30],"IEEE":[32,98,152,175],"correctness":[33,153,176],"these":[35,121,230],"algorithms,":[38,56],"i.e.":[39],"compliance":[40],"with":[41],"IEEE-754":[43],"standard":[44],"binary":[46],"operations.":[48],"focus":[50],"was":[51,90,123],"software":[53,235],"driven":[54],"instead":[57],"hardware":[60],"implementations":[62],"that":[63,74,128],"dominated":[64],"until":[65],"now.":[66],"(2)":[67],"Identifying":[68],"special":[70],"cases":[71,210],"operands":[73],"require":[75],"results.":[76,219],"Assistance":[77,200],"due":[78],"to":[79,95,138,186,208,216],"possible":[80],"overflow,":[81],"or":[82],"loss":[83],"precision":[85],"intermediate":[87],"initiated":[91],"in":[92,136,172,184],"an":[93],"attempt":[94],"prove":[96],"Newton-Rapshson":[110],"methods.":[112],"As":[113],"more":[114],"insight":[115],"into":[116],"inner":[118],"workings":[119],"gained,":[124],"it":[125],"became":[126],"obvious":[127],"formal":[130],"proof":[133,150],"were":[134,202,206],"necessary":[135],"order":[137],"achieve":[139],"desired":[141],"objectives.":[142],"result":[144],"is":[145,182,222],"complete":[147],"rigorous":[149],"Even":[167],"more,":[168],"method":[170],"used":[171,207],"proving":[173],"algorithm":[181],"applicable":[183],"principle":[185],"any":[187],"algorithm,":[189],"not":[190],"only":[191],"Conditions":[197],"requiring":[198],"Software":[199],"(SWA)":[201],"also":[203],"determined,":[204],"identify":[209],"when":[211],"alternate":[212],"are":[214],"needed":[215],"generate":[217],"correct":[218],"Overall,":[220],"this":[221],"one":[223],"important":[224],"step":[225],"toward":[226],"flawless":[227],"implementation":[228],"operations":[232],"implementations.":[236]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}