Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887941005> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2887941005 endingPage "67" @default.
- W2887941005 startingPage "49" @default.
- W2887941005 abstract "Summary The goal of this article is to show Fubini’s theorem for non-negative or non-positive measurable functions [10], [2], [3], using the Mizar system [1], [9]. We formalized Fubini’s theorem in our previous article [5], but in that case we showed the Fubini’s theorem for measurable sets and it was not enough as the integral does not appear explicitly. On the other hand, the theorems obtained in this paper are more general and it can be easily extended to a general integrable function. Furthermore, it also can be easy to extend to functional space L p [12]. It should be mentioned also that Hölzl and Heller [11] have introduced the Lebesgue integration theory in Isabelle/HOL and have proved Fubini’s theorem there." @default.
- W2887941005 created "2018-08-22" @default.
- W2887941005 creator A5015450295 @default.
- W2887941005 date "2018-04-01" @default.
- W2887941005 modified "2023-10-10" @default.
- W2887941005 title "Fubini’s Theorem for Non-Negative or Non-Positive Functions" @default.
- W2887941005 cites W166580360 @default.
- W2887941005 cites W2163011897 @default.
- W2887941005 cites W2184838578 @default.
- W2887941005 cites W2295728669 @default.
- W2887941005 cites W2515736565 @default.
- W2887941005 cites W2615765359 @default.
- W2887941005 cites W4242450648 @default.
- W2887941005 doi "https://doi.org/10.2478/forma-2018-0005" @default.
- W2887941005 hasPublicationYear "2018" @default.
- W2887941005 type Work @default.
- W2887941005 sameAs 2887941005 @default.
- W2887941005 citedByCount "1" @default.
- W2887941005 countsByYear W28879410052019 @default.
- W2887941005 crossrefType "journal-article" @default.
- W2887941005 hasAuthorship W2887941005A5015450295 @default.
- W2887941005 hasBestOaLocation W28879410051 @default.
- W2887941005 hasConcept C118615104 @default.
- W2887941005 hasConcept C134306372 @default.
- W2887941005 hasConcept C14158598 @default.
- W2887941005 hasConcept C17435882 @default.
- W2887941005 hasConcept C200741047 @default.
- W2887941005 hasConcept C202444582 @default.
- W2887941005 hasConcept C2524010 @default.
- W2887941005 hasConcept C33923547 @default.
- W2887941005 hasConcept C34388435 @default.
- W2887941005 hasConcept C43994743 @default.
- W2887941005 hasConcept C55526981 @default.
- W2887941005 hasConcept C83295520 @default.
- W2887941005 hasConceptScore W2887941005C118615104 @default.
- W2887941005 hasConceptScore W2887941005C134306372 @default.
- W2887941005 hasConceptScore W2887941005C14158598 @default.
- W2887941005 hasConceptScore W2887941005C17435882 @default.
- W2887941005 hasConceptScore W2887941005C200741047 @default.
- W2887941005 hasConceptScore W2887941005C202444582 @default.
- W2887941005 hasConceptScore W2887941005C2524010 @default.
- W2887941005 hasConceptScore W2887941005C33923547 @default.
- W2887941005 hasConceptScore W2887941005C34388435 @default.
- W2887941005 hasConceptScore W2887941005C43994743 @default.
- W2887941005 hasConceptScore W2887941005C55526981 @default.
- W2887941005 hasConceptScore W2887941005C83295520 @default.
- W2887941005 hasIssue "1" @default.
- W2887941005 hasLocation W28879410051 @default.
- W2887941005 hasLocation W28879410052 @default.
- W2887941005 hasOpenAccess W2887941005 @default.
- W2887941005 hasPrimaryLocation W28879410051 @default.
- W2887941005 hasRelatedWork W193335122 @default.
- W2887941005 hasRelatedWork W2087483730 @default.
- W2887941005 hasRelatedWork W2145689117 @default.
- W2887941005 hasRelatedWork W2324138229 @default.
- W2887941005 hasRelatedWork W2379748618 @default.
- W2887941005 hasRelatedWork W2887941005 @default.
- W2887941005 hasRelatedWork W2962761751 @default.
- W2887941005 hasRelatedWork W3048950722 @default.
- W2887941005 hasRelatedWork W2014959984 @default.
- W2887941005 hasRelatedWork W66407466 @default.
- W2887941005 hasVolume "26" @default.
- W2887941005 isParatext "false" @default.
- W2887941005 isRetracted "false" @default.
- W2887941005 magId "2887941005" @default.
- W2887941005 workType "article" @default.