诺博鲁恩多 福比尼定理。 （英语） Zbl 1422.28002号 福尔马利兹。数学。 27，第1号，67-74（2019）. 摘要：Fubini定理是分析高维空间的重要工具，是一个关于多重积分和迭代积分的定理。过去几年，作者一直致力于形式化Fubini定理[Formaliz.Math.25，No.1，1-29（2017；Zbl 1365.28001号); 同上，第26号，第1期，49–67页（2018年；Zbl 1401.28007号)]在Mizar系统中。因此，本文以完全形式证明了Fubini定理。 引用于2文件 MSC公司： 28A35型 乘积空间中的测度和积分 03B35型 证明和逻辑操作的机械化 关键词：福比尼定理;产品测量;多重积分;迭代积分 引文：Zbl 1365.28001号;Zbl 1401.28007号 软件：米扎尔 PDF格式BibTeX公司 XML格式引用 \textit{N.Endou}，福尔马利兹。数学。27，第1号，67--74（2019年；Zbl 1422.28002） 全文： 内政部 参考文献： [1] 格热戈兹·班塞雷克（Grzegorz Bancerek）、凯泽·阿夫·拜林斯基（Czesław Bylinñski）、亚当·格拉博夫斯基（Adam Grabowski）、阿图尔·科尔尼·奥维茨（Artur Korni \322]owicz）、罗曼·马图塞夫斯基（Roman Matuszewski）。Mizar数学图书馆在Mizar交互式证明开发中的作用。《自动推理杂志》，61（1）：9-322018年。doi:10.1007/s10817-017-9440-6·Zbl 1433.68530号 [2] 海因茨·鲍尔。测量与整合理论。沃尔特·德·格鲁伊特公司，2002年·Zbl 0995.60001号 [3] 弗拉基米尔·伊戈列维奇·博加乔夫（Vladimir Igorevich Bogachev）和玛丽亚·阿帕雷西达·苏亚斯·罗斯（Maria Aparecida Soares Ruas）。测量理论，第1卷。施普林格，2007年。； [4] 诺伯鲁·恩多。富比尼测度定理。形式化数学，25(1):1-29, 2017. doi:10.1115/形式-2017-0001·Zbl 1365.28001号 [5] 诺伯鲁·恩多。非正函数的积分。形式化数学，25(三):227-240, 2017. doi:10.1515/forma-2017-0022·Zbl 1381.26010号 [6] 诺伯鲁·恩多。非负或非正函数的Fubini定理。形式化数学，26(1)：2018年第49页至第67页。doi:10.2478/forma-2018-0005·Zbl 1401.28007号 [7] Adam Grabowski、Artur Korniłowicz和Adam Naumowicz。四十年的米扎尔。《自动推理杂志》，55（3）：191-1982015。doi:10.1007/s10817-015-9345-1·Zbl 1336.00111号 [8] P.R.哈尔莫斯。测量理论。施普林格·弗拉格，1974年·兹标0283.28001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。