Abstract
Summary 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have