%0 Journal Article %1 journals/fm/MiyajimaK10 %A Miyajima, Keiichi %A Kato, Takahiro %D 2010 %J Formalized Mathematics %K dblp %N 1-4 %P 107-111 %T The Sum and Product of Finite Sequences of Complex Numbers. %U http://dblp.uni-trier.de/db/journals/fm/fm18.html#MiyajimaK10 %V 18

@article{journals/fm/MiyajimaK10, added-at = {2019-02-20T00:00:00.000+0100}, author = {Miyajima, Keiichi and Kato, Takahiro}, biburl = {https://www.bibsonomy.org/bibtex/2e412b454ea78473f696f1f321b201078/dblp}, ee = {https://doi.org/10.2478/v10037-010-0014-x}, interhash = {d1c2bd3c7afa5c98b4e19447eb080288}, intrahash = {e412b454ea78473f696f1f321b201078}, journal = {Formalized Mathematics}, keywords = {dblp}, number = {1-4}, pages = {107-111}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {The Sum and Product of Finite Sequences of Complex Numbers.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm18.html#MiyajimaK10}, volume = 18, year = 2010 }