Email Gateway (Aug 22 2022 at 15:37): Email Gateway (Aug 22 2022 at 15:37):From: Jeremy Avigad <avigad@cmu.edu>
Friends,
The following paper has now appeared online at the Journal of Automated
Reasoning:
A Formally Verified Proof of the Central Limit Theorem
Jeremy Avigad, Johannes Hölzl, Luke Serafin
article: https://link.springer.com/article/10.1007/s10817-017-9404-x
preprint: http://arxiv.org/abs/1405.7012
It describes a formalization of the CLT in Isabelle, as well as the
supporting libraries.
Best wishes,
Jeremy
Last updated: Apr 30 2024 at 04:19 UTC