Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée.

Frédérique Guilhot

Published in: Tech. Sci. Informatiques (2005)

Keyphrases

data structure
formal methods
formal analysis
theorem prover
dynamic programming
visual representation
data sets
visual data mining
knowledge base
case study
user interface
social networks
multimedia
expert systems
itemsets
b tree