<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>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.</p>
</abstract>

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.

Multidimensional Measure Space and Integration

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

{"article-title":"Multidimensional Measure Space and Integration"}

This paper introduces multidimensional measure spaces and the integration of functions on these spaces in Mizar. Integrals on the multidimensional Cartesian...

Multidimensional Measure Space and Integration

Online veröffentlicht: 31. Dez. 2023

Seitenbereich: 181 - 192

Akzeptiert: 21. Nov. 2023

DOI: https://doi.org/10.2478/forma-2023-0017

Schlüsselwörter
measure in product spaces, iterated integral

© 2023 Noboru Endou et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Multidimensional Measure Space and Integration

Online veröffentlicht: 31. Dez. 2023

Seitenbereich: 181 - 192

Akzeptiert: 21. Nov. 2023

DOI: https://doi.org/10.2478/forma-2023-0017

Schlüsselwörtermeasure in product spaces, iterated integral

© 2023 Noboru Endou et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.

Schlüsselwörter
measure in product spaces, iterated integral