W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/14245| Tytuł: | Absolutely Integrable Functions |
| Autorzy: | Endou, Noboru |
| Słowa kluczowe: | absolutely integrable improper integral |
| Data wydania: | 2022 |
| Data dodania: | 29-gru-2022 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 30, Issue 1, Pages 31-52 |
| Abstrakt: | The goal of this article is to clarify the relationship between Riemann’s improper integrals and Lebesgue integrals. In previous articles [6], [7], we treated Riemann’s improper integrals [1], [11] and [4] on arbitrary intervals. Therefore, in this article, we will continue to clarify the relationship between improper integrals and Lebesgue integrals [8], using the Mizar [3], [2] formalism. |
| Afiliacja: | Noboru Endou - National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, Japan |
| URI: | http://hdl.handle.net/11320/14245 |
| DOI: | 10.2478/forma-2022-0004 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0002-5922-2332 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2022 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2022, Volume 30, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| 10.2478_forma-2022-0004.pdf | 301,99 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
