{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T22:31:11Z","timestamp":1783549871406,"version":"3.55.0"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T00:00:00Z","timestamp":1296518400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1109\/tc.2010.139","type":"journal-article","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T19:47:57Z","timestamp":1277322477000},"page":"157-164","source":"Crossref","is-referenced-by-count":18,"title":["Exact and Approximated Error of the FMA"],"prefix":"10.1109","volume":"60","author":[{"given":"Sylvie","family":"Boldo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1999.762836"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/4.62143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1147\/rd.341.0059"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1147\/rd.341.0111"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2003.1207670"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1147\/rd.405.0559"},{"key":"ref8","volume-title":"PA-RISC 2.0 Architecture","author":"Kane","year":"1995"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/40.592310"},{"key":"ref10","volume-title":"Scientific Computing on Itanium-Based Systems","author":"Cornea","year":"2002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2007.4487224"},{"key":"ref12","volume-title":"IEEE CS, IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754-2008","year":"2008"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975722"},{"key":"ref14","volume-title":"The Art of Computer Programming","volume":"2","author":"Knuth","year":"1998"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"ref16","first-page":"79","article-title":"Representable Correcting Terms for Possibly Underflowing Floating Point Operations","volume-title":"Proc. 16th Symp. Computer Arithmetic (ARITH-16 \u201903)","author":"Boldo"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.39"},{"key":"ref19","article-title":"Algorithmes Compens\u00e9s en Arithm\u00e9tique Flottante: Pr\u00e9cision, Validation, Performances","author":"Louvet","year":"2007"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141585"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development. Coq\u2019Art: The Calculus of Inductive Constructions","author":"Bertot","year":"2004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"ref23","article-title":"Computer Validated Proofs of a Toolset for Adaptable Arithmetic","volume-title":"\u00c9cole Normale Sup\u00e9rieure de Lyon, technical report","author":"Boldo","year":"2001"},{"key":"ref24","volume-title":"Floating-Point Computation","author":"Sterbenz","year":"1974"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/367149.1047530"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/12\/5676421\/05487502.pdf?arnumber=5487502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T06:07:28Z","timestamp":1741846048000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5487502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2]]},"references-count":25,"journal-issue":{"issue":"2"},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/tc.2010.139","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[2011,2]]}}}