Highly Influenced

# Construction and stochastic applications of measure spaces in higher-order logic

@inproceedings{Hlzl2013ConstructionAS, title={Construction and stochastic applications of measure spaces in higher-order logic}, author={Johannes H{\"o}lzl}, year={2013} }

- Published 2013

A rich formalization of measure and probability theory is a prerequisite to analyzing probabilistic program behaviour in interactive theorem provers. When using probability theory it is important to have the necessary tools (definitions and theorems) to construct measure spaces with the desired properties. This thesis presents the formalization of a rich set of constructions. We start with discrete measures, distributions, densities and products. Then, we introduce the Lebesgue measure and… CONTINUE READING

Highly Cited

This paper has 18 citations. REVIEW CITATIONS