149 citations · 517 across the 29 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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…
math.HO2014★ 9 cited
Character and object
Jeremy Avigad, Rebecca Morris
In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof…
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…