On the Mechanization of Real Analysis in Isabelle/HOL.

Jacques D. Fleuriot

Published in: TPHOLs (2000)

Keyphrases

theorem prover
databases
data mining
feature selection
similarity measure
multiresolution
artificial intelligence
metadata
high level
multiscale
data structure
data analysis
pairwise
special case
medical images