149 citations · 517 across the 29 of their papers we have counts for
Showing 2014 · cs.MSShow all
2 papers · 2 filters
cs.MS2014
A formally verified proof of the Central Limit Theorem
Jeremy Avigad, Johannes Hölzl, Luke Serafin
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…
cs.MS2014
A heuristic prover for real inequalities
Jeremy Avigad, Robert Y. Lewis, Cody Roux
We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem provin…