Abstract
This article extends the [10]. We define the sum and the product of the sequence of complex numbers, and formalize these theorems. Our method refers to the [11].
This article extends the [10]. We define the sum and the product of the sequence of complex numbers, and formalize these theorems. Our method refers to the [11].
© 2011 Keiichi Miyajima, Takahiro Kato, published by University of Białystok
This work is licensed under the Creative Commons License.