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

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform

100%
Yamazaki M., Yamazaki H., Shidama Y.
Formalized Mathematics
|
2008
|
tom 16
|
nr 4
311-317
EN
In this article, we defined a variety of extended Riemann integrals and proved that such integration is linear. Furthermore, we defined the one-sided Laplace transform and proved the linearity of that operator.MML identifier: INTEGR10, version: 7.9.01 4.101.1015
2
Content available remote

Complex Integral

100%
Yamazaki M., Yamazaki H., Shidama Y., Wasaki K.
Formalized Mathematics
|
2009
|
tom 17
|
nr 4
233-236
EN
In this article, we defined complex curve and complex integral. Then we have proved the linearity for the complex integral. Furthermore, we have proved complex integral of complex curve's connection is the sum of each complex integral of individual complex curve.
3
Content available remote

Integrability and the Integral of Partial Functions from R into R1

100%
Endou N., Shidama Y., Yamazaki M.
Formalized Mathematics
|
2006
|
tom 14
|
nr 4
207-212
EN
In this paper, we showed the linearity of the indefinite integral [...] the form of which was introduced in [11]. In addition, we proved some theorems about the integral calculus on the subinterval of [a,b]. As a result, we described the fundamental theorem of calculus, that we developed in [11], by a more general expression.
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ć.