Finite Groups Representation Theory with Coq.

Published in: Calculemus/MKM (2009)

Keyphrases

theoretical framework
formal methods
decision making
general theory
real world
information retrieval
image representation
computational model
representation scheme
artificial intelligence
case study
evolutionary algorithm
cluster analysis
theoretical foundation
feature representation
theoretical basis