Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar. Formalization of Normal Random Variables in HOL. In Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de de Moura, Frank Wm. Tompa, editors, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Volume 9791 of Lecture Notes in Computer Science, pages 44-59, Springer, 2016. [doi]
Abstract is missing.