{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:09Z","timestamp":1740131949675,"version":"3.37.3"},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"am","delay-in-days":0,"URL":"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":[[2021,7,1]]},"DOI":"10.1109\/tc.2020.3002702","type":"journal-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T22:34:15Z","timestamp":1592260455000},"page":"1046-1058","source":"Crossref","is-referenced-by-count":3,"title":["Emulating Round-to-Nearest Ties-to-Zero \u201cAugmented\u201d Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1970-3019","authenticated-orcid":false,"given":"Sylvie","family":"Boldo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3588-0047","authenticated-orcid":false,"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Lecture notes on the status of IEEE-754","year":"1997","author":"kahan","key":"ref10"},{"key":"ref11","volume":"2","author":"knuth","year":"1998","journal-title":"The art of computer programming"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975722"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/641876.641878"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2018.8464813"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/080738490"},{"journal-title":"Floating-Point Computation","year":"1974","author":"sterbenz","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.70819"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48256-3_9"},{"article-title":"Efficient reproducible floating point summation and BLAS","year":"2016","author":"demmel","key":"ref5"},{"journal-title":"IEEE Standard for Floating-Point Arithmetic","year":"2019","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227701"},{"journal-title":"Computer Arithmetic and Formal Proofs","year":"2017","author":"boldo","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3054947"},{"key":"ref9","first-page":"53","article-title":"On various ways to split a floating-point number","author":"jeannerod","year":"2018","journal-title":"Proc 25th IEEE Symp Comput Arithmetic"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/9449633\/09117154.pdf?arnumber=9117154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,9]],"date-time":"2021-12-09T21:07:34Z","timestamp":1639084054000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9117154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,1]]},"references-count":17,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tc.2020.3002702","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2021,7,1]]}}}