The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “The matrix transformations of double sequence space of χ 2 .”

The Sum and Product of Finite Sequences of Complex Numbers

Keiichi Miyajima, Takahiro Kato (2010)

Formalized Mathematics

Similarity:

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