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

Pole DC	Wartość	Język
dc.contributor.author	Yamazaki, Masahiko	-
dc.contributor.author	Yamazaki, Hiroshi	-
dc.contributor.author	Shidama, Yasunari	-
dc.date.accessioned	2026-09-22T07:13:03Z	-
dc.date.available	2026-09-22T07:13:03Z	-
dc.date.issued	2008	-
dc.identifier.citation	Formalized Mathematics, Volume 16, Issue 4, 2008, Pages 311-317	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/21077	-
dc.description.abstract	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.	pl
dc.language.iso	en	pl
dc.publisher	University of Białystok	pl
dc.rights	Attribution-ShareAlike 4.0 International	pl
dc.rights.uri	https://creativecommons.org/licenses/by-sa/4.0/	-
dc.title	Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform	pl
dc.type	Article	pl
dc.rights.holder	© 2009 Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama, published by University of Białystok	pl
dc.rights.holder	This work is licensed under the Creative Commons License.	pl
dc.identifier.doi	10.2478/v10037-008-0038-7	-
dc.description.Affiliation	Masahiko Yamazaki - Shinshu University Nagano, Japan	pl
dc.description.Affiliation	Hiroshi Yamazaki - Shinshu University Nagano, Japan	pl
dc.description.Affiliation	Yasunari Shidama - Shinshu University Nagano, Japan	pl
dc.description.references	Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.	pl
dc.description.references	Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.	pl
dc.description.references	Noboru Endou and Artur Korniłowicz. The definition of the Riemann definite integral and some related lemmas. Formalized Mathematics, 8(1):93–102, 1999.	pl
dc.description.references	Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281–284, 2001.	pl
dc.description.references	Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.	pl
dc.description.references	Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273–275, 1990.	pl
dc.description.references	Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990.	pl
dc.description.references	Jarosław Kotowicz. The limit of a real function at infinity. Formalized Mathematics, 2(1):17–28, 1991.	pl
dc.description.references	Jarosław Kotowicz. One-side limits of a real function at a point. Formalized Mathematics, 2(1):29–40, 1991.	pl
dc.description.references	Yatsuka Nakamura. Half open intervals in real numbers. Formalized Mathematics, 10(1):21–22, 2002.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.	pl
dc.description.references	Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998.	pl
dc.identifier.eissn	1898-9934	-
dc.description.volume	16	pl
dc.description.issue	4	pl
dc.description.firstpage	311	pl
dc.description.lastpage	317	pl
dc.identifier.citation2	Formalized Mathematics	pl
Występuje w kolekcji(ach):	Formalized Mathematics, 2008, Volume 16, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
Extended_Riemann_Integral_of_Functions_of_Real_Variable_and_One-sided_Laplace_Transform.pdf		242,64 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL