A Formally Verified Proof of the Central Limit Theorem

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 08, 2017
Source ID
10.1007/s10817-017-9404-x

Entities

People

  • Jeremy Avigad
  • Johannes Hölzl
  • Luke Serafin

Organizations

  • Air Force Office of Scientific Research
  • German Research Foundation
  • National Science Foundation Division of Mathematical Sciences