Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/15855
Tytuł: | Multidimensional Measure Space and Integration |
Autorzy: | Endou, Noboru Shidama, Yasunari |
Słowa kluczowe: | measure in product spaces iterated integral |
Data wydania: | 2023 |
Data dodania: | 25-sty-2024 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 31, Issue 1, Pages 181-192 |
Abstrakt: | This paper introduces multidimensional measure spaces and the integration of functions on these spaces in Mizar. Integrals on the multidimensional Cartesian product measure space are defined and appropriate formal apparatus to deal with this notion is provided as well. |
Afiliacja: | Noboru Endou - National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
URI: | http://hdl.handle.net/11320/15855 |
DOI: | 10.2478/forma-2023-0017 |
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, 2023, Volume 31, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Multidimensional-Measure-Space-and-Integration.pdf | 268,35 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL