A Modular Formalisation of Finite Group Theory.

Georges Gonthier Assia Mahboubi Laurence Rideau Enrico Tassi Laurent Théry

Published in: TPHOLs (2007)

Keyphrases

theoretical basis
database
theoretical framework
formal analysis
equational theories
general theory
databases
data mining
information systems
image segmentation
relational databases
formal theory