{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T16:59:56Z","timestamp":1792947596693,"version":"4.5.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/acssc.2013.6810304","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T21:51:22Z","timestamp":1400277082000},"page":"396-399","source":"Crossref","is-referenced-by-count":5,"title":["Avoiding double roundings in scaled Newton-Raphson division"],"prefix":"10.1109","author":[{"given":"Jean-Michel","family":"Muller","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","author":"cornea","year":"2002","journal-title":"Scientific Computing on Itanium-R-based Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1999.762834"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2003.1207663"},{"key":"7","author":"kahan","year":"1996","journal-title":"Lecture Notes on the Status of IEEE-754"},{"key":"6","year":"0"},{"key":"5","first-page":"234","article-title":"Formal verification of IA-64 division algorithms","author":"harrison","year":"2000","journal-title":"-Rfvt Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics TPHOLs 2000 Volume 1869 of Lecture Notes in Computer Science"},{"key":"4","author":"ercegovac","year":"1994","journal-title":"Division and Square Root Digit-Recurrence Algorithms and Implementations"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1147\/rd.341.0111"},{"key":"8","author":"markstein","year":"2000","journal-title":"IA-64 and Elementary Functions Speed and Precision Hewlett-Packard Professional Books"}],"event":{"name":"2013 Asilomar Conference on Signals, Systems and Computers","location":"Pacific Grove, CA, USA","start":{"date-parts":[[2013,11,3]]},"end":{"date-parts":[[2013,11,6]]}},"container-title":["2013 Asilomar Conference on Signals, Systems and Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6802825\/6810207\/06810304.pdf?arnumber=6810304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T16:11:57Z","timestamp":1490285517000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6810304\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/acssc.2013.6810304","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}