@MISC{RVSUM_2.MIZ,
  AUTHOR = {Miyajima, Keiichi and Kato, Takahiro},
  TITLE = {The Sum and Product of Finite Sequences of Complex Numbers},
  ACKNOWLEDGEMENT = {I would like to express my gratitude to Prof. Yatsuka Nakamura
    and Prof. Yasunari Shidama.},
  SECTION1 = {Auxiliary Theorems},
  SECTION2 = {Some Functors on the $i$-tuples of Complex Numbers},
  SECTION3 = {Finite Sum of Finite Sequence of Complex Numbers},
  SECTION4 = {The Product of Finite Sequences of Complex Numbers},
  SECTION5 = {Modified Part of \cite{EUCLID_2.ABS}},
  DAY = {12},
  MONTH = {January},
  YEAR = {2010},
  ADDRESS1 = {Ibaraki University, Faculty of Engineering\\ Hitachi, Ibaraki},
  ADDRESS2 = {Graduate School of Ibaraki University\\ Faculty of Engineering\\ Hitachi, Ibaraki},
  SUMMARY = {This article extends the \cite{RVSUM_1.ABS}.
  We define the sum and the product of the sequence of
  complex numbers, and formalize these theorems.
  Our method refers to the \cite{Keith:1984}.}}

@BOOK{Keith:1984,
 AUTHOR={Keith E. Hirst},
 TITLE={Numbers, Sequences and Series},
 PUBLISHER={Butterworth-Heinemann},
 YEAR=1984}
