Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

The Sum and Product of Finite Sequences of Complex Numbers

100%
Miyajima K., Kato T.
Formalized Mathematics
|
2010
|
tom 18
|
nr 2
107-111
EN
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].
2
Content available remote

Riemann Integral of Functions R into C

81%
Miyajima K., Kato T., Shidama Y.
Formalized Mathematics
|
2010
|
tom 18
|
nr 4
201-206
EN
In this article, we define the Riemann Integral on functions R into C and proof the linearity of this operator. Especially, the Riemann integral of complex functions is constituted by the redefinition about the Riemann sum of complex numbers. Our method refers to the [19].
3
Content available remote

Riemann Integral of Functions from R into Real Normed Space

81%
Miyajima K., Kato T., Shidama Y.
Formalized Mathematics
|
2011
|
tom 19
|
nr 1
17-22
EN
In this article, we define the Riemann integral on functions from R into real normed space and prove the linearity of this operator. As a result, the Riemann integration can be applied to a wider range of functions. The proof method follows the [16].
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.