{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T02:10:40Z","timestamp":1770689440861,"version":"3.49.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/acssc.2017.8335379","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T22:21:42Z","timestamp":1524090102000},"page":"452-456","source":"Crossref","is-referenced-by-count":4,"title":["An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a \u00d7 b + c \u00d7 d"],"prefix":"10.1109","author":[{"given":"Christoph","family":"Lauter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"Applications of fast and accurate summation in computational geometry","author":"graillat","year":"2005","journal-title":"DALI Team Research Report 03"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.2016.7869070"},{"key":"ref6","article-title":"Accuracy and stability of nmerical algorithms","author":"higham","year":"2002","journal-title":"SIAM"},{"key":"ref11","article-title":"When double rounding is odd","author":"boldo","year":"2005","journal-title":"Proceedings of the IMACS World Congress on Computation and Applied Mathematics"},{"key":"ref5","article-title":"Wanted: Floating-point add round-off error instruction","volume":"abs 1603 491","author":"dukhan","year":"2016","journal-title":"CoRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"ref8","article-title":"Error bounds on complex floating-point multiplication with an FMA","volume":"86","author":"jeannerod","year":"2017","journal-title":"Mathematics of Computation"},{"key":"ref7","author":"lauter","year":"0","journal-title":"Arrondi correct de fonctions mathématiques fonctions uni-variées et bivariées certification et automatisation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.39"},{"key":"ref9","article-title":"Formal certification of arithmetic filters for geometric predicates","author":"melquiond","year":"2005","journal-title":"Proc 17th IMACS World Congr"},{"key":"ref1","year":"2008"}],"event":{"name":"2017 51st Asilomar Conference on Signals, Systems, and Computers","location":"Pacific Grove, CA, USA","start":{"date-parts":[[2017,10,29]]},"end":{"date-parts":[[2017,11,1]]}},"container-title":["2017 51st Asilomar Conference on Signals, Systems, and Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8330843\/8335116\/08335379.pdf?arnumber=8335379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T07:13:56Z","timestamp":1643181236000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8335379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/acssc.2017.8335379","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}