{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T10:17:33Z","timestamp":1772187453276,"version":"3.50.1"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"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.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/tcad.2017.2666607","type":"journal-article","created":{"date-parts":[[2017,2,9]],"date-time":"2017-02-09T19:17:31Z","timestamp":1486667851000},"page":"1925-1929","source":"Crossref","is-referenced-by-count":6,"title":["Improved Range Analysis in Fixed-Point Polynomial Data-Path"],"prefix":"10.1109","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1823-4211","authenticated-orcid":false,"given":"Mahdieh","family":"Grailoo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4436-4597","authenticated-orcid":false,"given":"Bijan","family":"Alizadeh","sequence":"additional","affiliation":[]},{"given":"Behjat","family":"Forouzandeh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"melquiond","year":"2009","journal-title":"Gappa"},{"key":"ref11","year":"2016","journal-title":"Wolframe Mathematica Definitive System for Modern Technical Computing"},{"key":"ref12","author":"gay","year":"2006","journal-title":"C++ Affine Arithmetic Library Libaffa-0 9 6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5540\/tema.2003.04.03.0297"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2238290"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2014.0188"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2012.2188938"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041839"},{"key":"ref8","article-title":"Solving systems of polynomial equations","author":"sturmfels","year":"2002","journal-title":"CBMS Regional Conference Series in Mathematics"},{"key":"ref7","first-page":"1","article-title":"Self-validated numerical methods and applications","author":"stolfi","year":"1997","journal-title":"Proc Monograph 21st Brazil Math Colloquium Held IMPA"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2394469"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2016.2539078"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.03.004"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8071066\/07849172.pdf?arnumber=7849172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T17:03:00Z","timestamp":1642006980000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7849172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":13,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2017.2666607","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}