Integral of Non Positive Functions
Formalized Mathematics (2017)
- Volume: 25, Issue: 3, page 227-240
- ISSN: 1426-2630
Access Full Article
topAbstract
topHow to cite
topNoboru Endou. "Integral of Non Positive Functions." Formalized Mathematics 25.3 (2017): 227-240. <http://eudml.org/doc/288380>.
@article{NoboruEndou2017,
abstract = {In this article, we formalize in the Mizar system [1, 7] the Lebesgue type integral and convergence theorems for non positive functions [8],[2]. Many theorems are based on our previous results [5], [6].},
author = {Noboru Endou},
journal = {Formalized Mathematics},
keywords = {integration of non positive function},
language = {eng},
number = {3},
pages = {227-240},
title = {Integral of Non Positive Functions},
url = {http://eudml.org/doc/288380},
volume = {25},
year = {2017},
}
TY - JOUR
AU - Noboru Endou
TI - Integral of Non Positive Functions
JO - Formalized Mathematics
PY - 2017
VL - 25
IS - 3
SP - 227
EP - 240
AB - In this article, we formalize in the Mizar system [1, 7] the Lebesgue type integral and convergence theorems for non positive functions [8],[2]. Many theorems are based on our previous results [5], [6].
LA - eng
KW - integration of non positive function
UR - http://eudml.org/doc/288380
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.