Fubini’s Theorem

Endou, Noboru

doi:10.2478/forma-2019-0007

References

[1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.10.1007/s10817-017-9440-6604425130069070
Open DOI Search in Google Scholar Back to article
[2] Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.10.1515/9783110866209
Search in Google Scholar Back to article
[3] Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.
Search in Google Scholar Back to article
[4] Noboru Endou. Fubini’s theorem on measure. Formalized Mathematics, 25(1):1–29, 2017. doi:10.1515/forma-2017-0001.10.1515/forma-2017-0001
Open DOI Search in Google Scholar Back to article
[5] Noboru Endou. Integral of non positive functions. Formalized Mathematics, 25(3):227–240, 2017. doi:10.1515/forma-2017-0022.10.1515/forma-2017-0022
Open DOI Search in Google Scholar Back to article
[6] Noboru Endou. Fubini’s theorem for non-negative or non-positive functions. Formalized Mathematics, 26(1):49–67, 2018. doi:10.2478/forma-2018-0005.10.2478/forma-2018-0005
Open DOI Search in Google Scholar Back to article
[7] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1
Open DOI Search in Google Scholar Back to article
[8] P. R. Halmos. Measure Theory. Springer-Verlag, 1974.
Search in Google Scholar Back to article

Fubini’s Theorem

References

Paradigm

My account