Integrability and the Integral of Partial Functions from R into R

Tytuł:	Integrability and the Integral of Partial Functions from R into R
Autorzy:	Endou, Noboru Shidama, Yasunari Yamazaki, Masahiko
Data wydania:	2006
Data dodania:	5-lis-2026
Wydawca:	University of Białystok
Źródło:	Formalized Mathematics, Volume 14, Issue 4, Pages 207-212
Abstrakt:	In this paper, we showed the linearity of the indefinite integralthe 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.
Afiliacja:	Noboru Endou - Gifu National College of Technology Gifu, Japan Yasunari Shidama - Shinshu University Nagano, Japan Masahiko Yamazaki - Shinshu University Nagano, Japan
Sponsorzy:	This work has been partially supported by the MEXT grant Grant-in-Aid for Young Scientists (B)16700156.
URI:	http://hdl.handle.net/11320/21436
DOI:	10.2478/v10037-006-0023-y
ISSN:	1426-2630
e-ISSN:	1898-9934
Typ Dokumentu:	Article
metadata.dc.rights.uri:	https://creativecommons.org/licenses/by-sa/4.0/
Właściciel praw:	© 2008 Noboru Endou, Yasunari Shidama, Masahiko Yamazaki, published by University of Białystok This work is licensed under the Creative Commons License.
Występuje w kolekcji(ach):	Formalized Mathematics, 2006, Volume 14, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
Integrability_and_the_Integral_of_Partial_Functions_from_R_into_R.pdf		125,74 kB	Adobe PDF	Otwórz

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