Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285325472> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4285325472 endingPage "220" @default.
- W4285325472 startingPage "201" @default.
- W4285325472 abstract "Summary In this article, we deal with Riemann’s improper integral [1], using the Mizar system [2], [3]. Improper integrals with finite values are discussed in [5] by Yamazaki et al., but in general, improper integrals do not assume that they are finite. Therefore, we have formalized general improper integrals that does not limit the integral value to a finite value. In addition, each theorem in [5] assumes that the domain of integrand includes a closed interval, but since the improper integral should be discusses based on the half-open interval, we also corrected it." @default.
- W4285325472 created "2022-07-14" @default.
- W4285325472 creator A5015450295 @default.
- W4285325472 date "2021-12-01" @default.
- W4285325472 modified "2023-10-10" @default.
- W4285325472 title "Improper Integral. Part I" @default.
- W4285325472 cites W2125669297 @default.
- W4285325472 cites W2146235261 @default.
- W4285325472 cites W2295728669 @default.
- W4285325472 cites W2770430340 @default.
- W4285325472 doi "https://doi.org/10.2478/forma-2021-0019" @default.
- W4285325472 hasPublicationYear "2021" @default.
- W4285325472 type Work @default.
- W4285325472 citedByCount "3" @default.
- W4285325472 countsByYear W42853254722021 @default.
- W4285325472 countsByYear W42853254722022 @default.
- W4285325472 countsByYear W42853254722023 @default.
- W4285325472 crossrefType "journal-article" @default.
- W4285325472 hasAuthorship W4285325472A5015450295 @default.
- W4285325472 hasBestOaLocation W42853254721 @default.
- W4285325472 hasConcept C114614502 @default.
- W4285325472 hasConcept C134306372 @default.
- W4285325472 hasConcept C134810832 @default.
- W4285325472 hasConcept C142017724 @default.
- W4285325472 hasConcept C151201525 @default.
- W4285325472 hasConcept C199343813 @default.
- W4285325472 hasConcept C27016315 @default.
- W4285325472 hasConcept C2777686260 @default.
- W4285325472 hasConcept C2778067643 @default.
- W4285325472 hasConcept C28826006 @default.
- W4285325472 hasConcept C33923547 @default.
- W4285325472 hasConcept C36503486 @default.
- W4285325472 hasConcept C41833934 @default.
- W4285325472 hasConcept C51577431 @default.
- W4285325472 hasConcept C54865166 @default.
- W4285325472 hasConcept C71924100 @default.
- W4285325472 hasConcept C75023562 @default.
- W4285325472 hasConcept C92571104 @default.
- W4285325472 hasConceptScore W4285325472C114614502 @default.
- W4285325472 hasConceptScore W4285325472C134306372 @default.
- W4285325472 hasConceptScore W4285325472C134810832 @default.
- W4285325472 hasConceptScore W4285325472C142017724 @default.
- W4285325472 hasConceptScore W4285325472C151201525 @default.
- W4285325472 hasConceptScore W4285325472C199343813 @default.
- W4285325472 hasConceptScore W4285325472C27016315 @default.
- W4285325472 hasConceptScore W4285325472C2777686260 @default.
- W4285325472 hasConceptScore W4285325472C2778067643 @default.
- W4285325472 hasConceptScore W4285325472C28826006 @default.
- W4285325472 hasConceptScore W4285325472C33923547 @default.
- W4285325472 hasConceptScore W4285325472C36503486 @default.
- W4285325472 hasConceptScore W4285325472C41833934 @default.
- W4285325472 hasConceptScore W4285325472C51577431 @default.
- W4285325472 hasConceptScore W4285325472C54865166 @default.
- W4285325472 hasConceptScore W4285325472C71924100 @default.
- W4285325472 hasConceptScore W4285325472C75023562 @default.
- W4285325472 hasConceptScore W4285325472C92571104 @default.
- W4285325472 hasIssue "4" @default.
- W4285325472 hasLocation W42853254721 @default.
- W4285325472 hasLocation W42853254722 @default.
- W4285325472 hasOpenAccess W4285325472 @default.
- W4285325472 hasPrimaryLocation W42853254721 @default.
- W4285325472 hasRelatedWork W1970788826 @default.
- W4285325472 hasRelatedWork W2357078175 @default.
- W4285325472 hasRelatedWork W2358863912 @default.
- W4285325472 hasRelatedWork W2362668352 @default.
- W4285325472 hasRelatedWork W2377200053 @default.
- W4285325472 hasRelatedWork W2378639591 @default.
- W4285325472 hasRelatedWork W2382402128 @default.
- W4285325472 hasRelatedWork W2393558284 @default.
- W4285325472 hasRelatedWork W3023838290 @default.
- W4285325472 hasRelatedWork W4248085762 @default.
- W4285325472 hasVolume "29" @default.
- W4285325472 isParatext "false" @default.
- W4285325472 isRetracted "false" @default.
- W4285325472 workType "article" @default.