A formally verified proof of the Central Limit Theorem

Por • 31 may, 2014 • Sección: Educacion

Jeremy Avigad, Johannes Hölzl, Luke Serafin

 

Abstract: We describe a formally verified proof of the Central Limit Theorem in the Isabelle proof assistant.

arXiv:1405.7012v1 [cs.MS]

Mathematical Software (cs.MS); Logic in Computer Science (cs.LO); Probability (math.PR)

Post to Twitter

Escribe un comentario