Subset Coercions in Coq.

Matthieu Sozeau

Published in: TYPES (2006)

Keyphrases

subset selection
neural network
formal methods
real world
feature extraction
bayesian networks
color images
knowledge based systems
theorem prover