Three Chapters of Measure Theory in Isabelle/HOL.

Johannes Hölzl Armin Heller

Published in: ITP (2011)

Keyphrases

theorem prover
natural deduction
theoretical framework
information theory
formal methods
case study
computational intelligence
similarity measure
simple examples
higher order logic
formal theory
general theory
chapter presents
theoretical basis
theorem proving
inference rules
learning algorithm