REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2019, Volume 27, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/7841
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorEndou, Noboru-
    dc.date.accessioned2019-05-21T07:18:02Z-
    dc.date.available2019-05-21T07:18:02Z-
    dc.date.issued2019-
    dc.identifier.citationFormalized Mathematics, Volume 27, Issue 1, Pages 67-74-
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/7841-
    dc.description.abstractFubini 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.-
    dc.language.isoen-
    dc.publisherDeGruyter Open-
    dc.subjectFubini’s theorem-
    dc.subjectproduct measure-
    dc.subjectmultiple integral-
    dc.subjectiterated integral-
    dc.titleFubini’s Theorem-
    dc.typeArticle-
    dc.identifier.doi10.2478/forma-2019-0007-
    dc.description.AffiliationNational Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, Japan-
    dc.description.referencesGrzegorz 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.-
    dc.description.referencesHeinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.-
    dc.description.referencesVladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.-
    dc.description.referencesNoboru Endou. Fubini’s theorem on measure. Formalized Mathematics, 25(1):1–29, 2017. doi:10.1515/forma-2017-0001.-
    dc.description.referencesNoboru Endou. Integral of non positive functions. Formalized Mathematics, 25(3):227–240, 2017. doi:10.1515/forma-2017-0022.-
    dc.description.referencesNoboru Endou. Fubini’s theorem for non-negative or non-positive functions. Formalized Mathematics, 26(1):49–67, 2018. doi:10.2478/forma-2018-0005.-
    dc.description.referencesAdam 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.-
    dc.description.referencesP. R. Halmos. Measure Theory. Springer-Verlag, 1974.-
    dc.identifier.eissn1898-9934-
    dc.description.volume27-
    dc.description.issue1-
    dc.description.firstpage67-
    dc.description.lastpage74-
    dc.identifier.citation2Formalized Mathematics-
    Występuje w kolekcji(ach):Formalized Mathematics, 2019, Volume 27, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    forma_2019_27_1_007.pdf216,43 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons