{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T06:44:39Z","timestamp":1751093079087,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/arith.2018.8464793","type":"proceedings-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T22:06:04Z","timestamp":1537221964000},"page":"53-60","source":"Crossref","is-referenced-by-count":8,"title":["On Various Ways to Split a Floating-Point Number"],"prefix":"10.1109","author":[{"given":"Claude-Pierre","family":"Jeannerod","sequence":"first","affiliation":[]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Zimmermann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975722"},{"key":"ref11","article-title":"The Art of Computer Programming, Volume 2, Seminumer-ical Algorithms, 3rd ed","author":"knuth","year":"1998","journal-title":"Addison-Wesley Reading MA"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/355958.355960"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227701"},{"key":"ref14","first-page":"52","article-title":"Pitfalls of a full floating-point proof: Example on the formal proof of the Veltkamp\/Dekker algorithms","author":"boldo","year":"2006","journal-title":"Proceedings of the Third International Joint Conference on Automated Reasoning ser IJCAR'06 Berlin Heidelberg Springer-Verlag"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/080738490"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/s10543-009-0218-z","article-title":"Computing predecessor and successor in rounding to nearest","volume":"49","author":"rump","year":"2009","journal-title":"BIT"},{"key":"ref17","first-page":"12","article-title":"Mathematics written in sand-the HP-15C, Intel 8087, etc","author":"kahan","year":"1983","journal-title":"statistical Computing Section Proceedings of the American Statistical Association Toronto"},{"key":"ref4","first-page":"113","article-title":"A machine-checked theory of floating point arithmetic","volume":"1690","author":"harrison","year":"1999","journal-title":"12th International Conference in Theorem Proving in Higher Order Logics (TPHOLs) ser Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"journal-title":"revision 22007I–0","article-title":"AMD Athlon™ Processor: x86 Code Optimization Guide","year":"2000","key":"ref6"},{"key":"ref5","first-page":"19","article-title":"Let's get to the (floating) point","volume":"2","author":"hecker","year":"1996","journal-title":"Game Developer Magazine"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01932946","article-title":"Analysis of some known methods of improving the accuracy of floating-point sums","volume":"14","author":"linnainmaa","year":"1974","journal-title":"BIT"},{"key":"ref7","article-title":"ARPREC: An arbitrary precision computation package","author":"bailey","year":"2002","journal-title":"Lawrence Berkeley National Laboratory Berkeley CA Technical Report LBNL-53651"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1137\/050645671","article-title":"Accurate floating-point summation, Part I: Faithful rounding","volume":"31","author":"rump","year":"2008","journal-title":"SIAM Journal on Scientific Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/363707.363723"},{"key":"ref1","first-page":"7","article-title":"Genaue Losung linearer Gleichungssys-teme","volume":"26","author":"zielke","year":"2003","journal-title":"GAMM Mitt Ges Angew Math Mech"}],"event":{"name":"2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)","start":{"date-parts":[[2018,6,25]]},"location":"Amherst, MA","end":{"date-parts":[[2018,6,27]]}},"container-title":["2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8452530\/8464686\/08464793.pdf?arnumber=8464793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,8]],"date-time":"2018-10-08T23:38:12Z","timestamp":1539041892000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8464793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/arith.2018.8464793","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}