<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></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].

The Sum and Product of Finite Sequences of Complex Numbers

Faculty of Engineering, Ibaraki University, Hitachi, Japan

Faculty of Engineering, Graduate School of Ibaraki University, Hitachi, Japan

Formalized Mathematics

{"article-title":"The Sum and Product of Finite Sequences of Complex Numbers"}

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...

The Sum and Product of Finite Sequences of Complex Numbers

Publicado en línea: 05 ene 2011

Páginas: 107 - 111

DOI: https://doi.org/10.2478/v10037-010-0014-x

This content is open access.