Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.

Johannes Hölzl Fabian Immler Brian Huffman

Published in: ITP (2013)

Keyphrases

mathematical analysis
theorem prover
natural deduction
real time
multiresolution
feature extraction
bayesian networks
model checking
image denoising