Formalization of Shannon's Theorems in SSReflect-Coq.

Reynald Affeldt Manabu Hagiwara

Published in: ITP (2012)

Keyphrases

information theory
theorem prover
formal methods
operational semantics
knowledge representation
formal model
high level
feature extraction
real time
data mining
artificial intelligence
image segmentation
cooperative