{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T09:40:18Z","timestamp":1760521218928,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/arith.2003.1207663","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"79-86","source":"Crossref","is-referenced-by-count":21,"title":["Representable correcting terms for possibly underflowing floating point operations"],"prefix":"10.1109","author":[{"given":"S.","family":"Boldo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Daumas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"239","article-title":"Formal verification of a theory of IEEE rounding","author":"jacobi","year":"2001","journal-title":"International Conference on Theorem Proving in Higher Order Logics"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/363707.363723"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/279232.279237"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/355958.355960"},{"year":"2000","author":"markstein","article-title":"IA-64 and elementary functions: speed and precision","key":"ref14"},{"key":"ref15","article-title":"Defining the IEE-854 floating-point standard in PVS","author":"miner","year":"1995","journal-title":"Technical Report Technical Memorandum 110167 NASA Langley Research Center"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF01975722","article-title":"Quasi double-precision in floating point addition","volume":"5","author":"m\u00f8ller","year":"1965","journal-title":"BIT"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/125083.123044"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1112\/S1461157000000176"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/PL00009321"},{"key":"ref4","first-page":"86","volume":"4","author":"cody","year":"1984"},{"key":"ref3","article-title":"Interpretation of IEEE-854 floating-point standard and definition in the HOL system","author":"carre\u00f1o","year":"1995","journal-title":"Technical Report Technical Memorandum 110189 NASA Langley Center"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/BF01397083"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/3-540-44755-5_13"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/3-540-48256-3_9"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1137\/0905062"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/ARITH.1991.145529"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/320986.320996"},{"key":"ref9","article-title":"The Coq proof assistant: a tutorial: version 7.2","author":"huet","year":"2002","journal-title":"Institut National de Recherche en Informatique et en Automatique Tech Rep"},{"year":"1974","author":"sterbenz","article-title":"Floating point computation","key":"ref20"},{"key":"ref21","first-page":"9","volume":"22","author":"stevenson","year":"1987","journal-title":"ACM SIGPLAN Notices"}],"event":{"acronym":"ARITH-03","name":"16th IEEE Symposium on Computer Arithmetic","location":"Santiago de Compostela, Spain"},"container-title":["16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8582\/27181\/01207663.pdf?arnumber=1207663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:25:56Z","timestamp":1497572756000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/arith.2003.1207663","relation":{},"subject":[]}}