{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T20:43:18Z","timestamp":1773348198128,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/iccd.2007.4601876","type":"proceedings-article","created":{"date-parts":[[2008,8,21]],"date-time":"2008-08-21T15:14:39Z","timestamp":1219331679000},"page":"25-32","source":"Crossref","is-referenced-by-count":13,"title":["Application of symbolic computer algebra to arithmetic circuit verification"],"prefix":"10.1109","author":[{"given":"Yuki","family":"Watanabe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naofumi","family":"Homma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takafumi","family":"Aoki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatsuo","family":"Higuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","author":"cox","year":"1997","journal-title":"Ideals Varieties and Algorithms"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e89-a.12.3500"},{"key":"ref10","year":"0","journal-title":"Arithmetic Description Language ARITH"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217583"},{"key":"ref11","first-page":"595","article-title":"Multiplication of Multidigit Numbers on Automata","volume":"7","author":"karatsuba","year":"1963","journal-title":"Soviet Physics Doklady"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref7","first-page":"361","article-title":"ACV: an arithmetic circuit verifier","author":"chen","year":"1997","journal-title":"Proceedings of the 1996 IEEE\/ACM International conference on Computer-aided Design"},{"key":"ref2","author":"parhami","year":"2000","journal-title":"Computer Arithmetic"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1088222.1088224"},{"key":"ref1","author":"koren","year":"2001","journal-title":"Computer Arithmetic Algorithms"}],"event":{"name":"2007 25th International Conference on Computer Design ICCD 2007","location":"Lake Tahoe, CA, USA","start":{"date-parts":[[2007,10,7]]},"end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 25th International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4591423\/4601871\/04601876.pdf?arnumber=4601876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T20:30:22Z","timestamp":1489696222000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4601876\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iccd.2007.4601876","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}