Back to Search
Start Over
Fubini's Theorem.
- Source :
-
Formalized Mathematics . Apr2019, Vol. 27 Issue 1, p67-74. 8p. - Publication Year :
- 2019
-
Abstract
- Fubini theorem is an essential tool for the analysis of high-dimensional space [8], [2], [3], a theorem about the multiple integral and iterated integral. The author has been working on formalizing Fubini's theorem over the past few years [4], [6] in the Mizar system [7], [1]. As a result, Fubini's theorem (30) was proved in complete form by this article. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ITERATED integrals
Subjects
Details
- Language :
- English
- ISSN :
- 14262630
- Volume :
- 27
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Formalized Mathematics
- Publication Type :
- Academic Journal
- Accession number :
- 136519740
- Full Text :
- https://doi.org/10.2478/forma-2019-0007