External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalization of Normal Random Variables in HOL

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]

Authors

Muhammad Qasim

This author has not been identified. Look up 'Muhammad Qasim' in Google

Osman Hasan

This author has not been identified. It may be one of the following persons: Look up 'Osman Hasan' in Google

Maissa Elleuch

This author has not been identified. Look up 'Maissa Elleuch' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google
runs on