Matches in SemOpenAlex for { <https://semopenalex.org/work/W4290992313> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4290992313 abstract "We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle's libraries for analysis and measure-theoretic probability. The proof of the theorem uses characteristic functions, which are a kind of Fourier transform, to demonstrate that, under suitable hypotheses, sums of random variables converge weakly to the standard normal distribution. We also discuss the libraries and infrastructure that supported the formalization, and reflect on some of the lessons we have learned from the effort." @default.
- W4290992313 created "2022-08-13" @default.
- W4290992313 creator A5003483051 @default.
- W4290992313 creator A5035018862 @default.
- W4290992313 creator A5037209402 @default.
- W4290992313 date "2014-05-27" @default.
- W4290992313 modified "2023-09-29" @default.
- W4290992313 title "A formally verified proof of the Central Limit Theorem" @default.
- W4290992313 doi "https://doi.org/10.48550/arxiv.1405.7012" @default.
- W4290992313 hasPublicationYear "2014" @default.
- W4290992313 type Work @default.
- W4290992313 citedByCount "0" @default.
- W4290992313 crossrefType "posted-content" @default.
- W4290992313 hasAuthorship W4290992313A5003483051 @default.
- W4290992313 hasAuthorship W4290992313A5035018862 @default.
- W4290992313 hasAuthorship W4290992313A5037209402 @default.
- W4290992313 hasBestOaLocation W42909923131 @default.
- W4290992313 hasConcept C105795698 @default.
- W4290992313 hasConcept C108710211 @default.
- W4290992313 hasConcept C11413529 @default.
- W4290992313 hasConcept C118615104 @default.
- W4290992313 hasConcept C122123141 @default.
- W4290992313 hasConcept C124101348 @default.
- W4290992313 hasConcept C134306372 @default.
- W4290992313 hasConcept C136119220 @default.
- W4290992313 hasConcept C151201525 @default.
- W4290992313 hasConcept C166785042 @default.
- W4290992313 hasConcept C173613240 @default.
- W4290992313 hasConcept C1911482 @default.
- W4290992313 hasConcept C199343813 @default.
- W4290992313 hasConcept C202444582 @default.
- W4290992313 hasConcept C203265346 @default.
- W4290992313 hasConcept C206880738 @default.
- W4290992313 hasConcept C2524010 @default.
- W4290992313 hasConcept C2777686260 @default.
- W4290992313 hasConcept C2780009758 @default.
- W4290992313 hasConcept C33923547 @default.
- W4290992313 hasConcept C41008148 @default.
- W4290992313 hasConcept C71924100 @default.
- W4290992313 hasConceptScore W4290992313C105795698 @default.
- W4290992313 hasConceptScore W4290992313C108710211 @default.
- W4290992313 hasConceptScore W4290992313C11413529 @default.
- W4290992313 hasConceptScore W4290992313C118615104 @default.
- W4290992313 hasConceptScore W4290992313C122123141 @default.
- W4290992313 hasConceptScore W4290992313C124101348 @default.
- W4290992313 hasConceptScore W4290992313C134306372 @default.
- W4290992313 hasConceptScore W4290992313C136119220 @default.
- W4290992313 hasConceptScore W4290992313C151201525 @default.
- W4290992313 hasConceptScore W4290992313C166785042 @default.
- W4290992313 hasConceptScore W4290992313C173613240 @default.
- W4290992313 hasConceptScore W4290992313C1911482 @default.
- W4290992313 hasConceptScore W4290992313C199343813 @default.
- W4290992313 hasConceptScore W4290992313C202444582 @default.
- W4290992313 hasConceptScore W4290992313C203265346 @default.
- W4290992313 hasConceptScore W4290992313C206880738 @default.
- W4290992313 hasConceptScore W4290992313C2524010 @default.
- W4290992313 hasConceptScore W4290992313C2777686260 @default.
- W4290992313 hasConceptScore W4290992313C2780009758 @default.
- W4290992313 hasConceptScore W4290992313C33923547 @default.
- W4290992313 hasConceptScore W4290992313C41008148 @default.
- W4290992313 hasConceptScore W4290992313C71924100 @default.
- W4290992313 hasLocation W42909923131 @default.
- W4290992313 hasOpenAccess W4290992313 @default.
- W4290992313 hasPrimaryLocation W42909923131 @default.
- W4290992313 hasRelatedWork W1525612270 @default.
- W4290992313 hasRelatedWork W1977174121 @default.
- W4290992313 hasRelatedWork W1989585328 @default.
- W4290992313 hasRelatedWork W2022313577 @default.
- W4290992313 hasRelatedWork W2060620730 @default.
- W4290992313 hasRelatedWork W2077206433 @default.
- W4290992313 hasRelatedWork W2090008796 @default.
- W4290992313 hasRelatedWork W2769873724 @default.
- W4290992313 hasRelatedWork W2964299465 @default.
- W4290992313 hasRelatedWork W3144660288 @default.
- W4290992313 isParatext "false" @default.
- W4290992313 isRetracted "false" @default.
- W4290992313 workType "article" @default.