Accès libre

Multidimensional Measure Space and Integration

À propos de cet article

Citez

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.

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Computer Sciences, other, Mathematics, General Mathematics