Showing 2014Show all
2 papers · 1 filter
math.CO2014
On generalizations of separating and splitting families
Daniel Condon, Samuel Coskey, Luke Serafin +1
The work in this article is concerned with two different types of families of finite sets: separating families and splitting families (they are also called "systems"). These famili…
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…