%0 Journal Article %1 journals/ieicet/WatanabeHAH08 %A Watanabe, Yuki %A Homma, Naofumi %A Aoki, Takafumi %A Higuchi, Tatsuo %D 2008 %J IEICE Trans. Fundam. Electron. Commun. Comput. Sci. %K dblp %N 10 %P 3038-3046 %T Arithmetic Circuit Verification Based on Symbolic Computer Algebra. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet91a.html#WatanabeHAH08 %V 91-A

@article{journals/ieicet/WatanabeHAH08, added-at = {2020-04-11T00:00:00.000+0200}, author = {Watanabe, Yuki and Homma, Naofumi and Aoki, Takafumi and Higuchi, Tatsuo}, biburl = {https://www.bibsonomy.org/bibtex/21011346fb729b261ca59ea7f4ad3d7a1/dblp}, ee = {https://doi.org/10.1093/ietfec/e91-a.10.3038}, interhash = {5afe3a266ab2cae34d479385ba6f1453}, intrahash = {1011346fb729b261ca59ea7f4ad3d7a1}, journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.}, keywords = {dblp}, number = 10, pages = {3038-3046}, timestamp = {2020-04-14T11:42:36.000+0200}, title = {Arithmetic Circuit Verification Based on Symbolic Computer Algebra.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet91a.html#WatanabeHAH08}, volume = {91-A}, year = 2008 }