{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T03:05:37Z","timestamp":1768446337677,"version":"3.49.0"},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","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":[[2018,3,1]]},"DOI":"10.1109\/tc.2017.2759764","type":"journal-article","created":{"date-parts":[[2017,10,6]],"date-time":"2017-10-06T18:34:19Z","timestamp":1507314859000},"page":"449-456","source":"Crossref","is-referenced-by-count":4,"title":["Digit Serial Methods with Applications to Division and Square Root"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4124-7080","authenticated-orcid":false,"given":"Warren E.","family":"Ferguson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7015-0440","authenticated-orcid":false,"given":"Jesse","family":"Bingham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8199-2325","authenticated-orcid":false,"given":"Levent","family":"Erkok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5707-4631","authenticated-orcid":false,"given":"John R.","family":"Harrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6844-3586","authenticated-orcid":false,"given":"Joe","family":"Leslie-Hurd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1989.72823"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/12.868030"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-31077-0","author":"niculescu","year":"2006","journal-title":"Convex Functions and Their Applications A Contemporary Approach"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021133616373"},{"key":"ref14","article-title":"Recoders for partial compression and rounding","author":"daumas","year":"1997"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.1994.471509"},{"key":"ref16","first-page":"25","article-title":"An algorithm for division","volume":"9","author":"svoboda","year":"1963","journal-title":"Inform Process Mach"},{"key":"ref17","first-page":"1","article-title":"Digit serial methods with applications to division and square root - with mechanically checked correctness proofs","author":"ferguson","year":"2017"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.295853"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1993.378096"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.2005.66"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1995.465367"},{"key":"ref8","author":"knuth","year":"1997","journal-title":"Art of Computer Programming Volume 2 Seminumerical Algorithms"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44659-1_15"},{"key":"ref2","author":"ercegovac","year":"1994","journal-title":"Division and Square Root Digit-Recurrence Algorithms and Implementations"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031814"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676986"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/8287085\/08060979.pdf?arnumber=8060979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:28:32Z","timestamp":1642004912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8060979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,1]]},"references-count":17,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tc.2017.2759764","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[2018,3,1]]}}}