Mining the Archive of Formal Proofs.

Jasmin Christian Blanchette Max W. Haslbeck Daniel Matichuk Tobias Nipkow

Published in: CICM (2015)

Keyphrases

formal proofs
web mining
data mining
data sets
text mining
knowledge discovery
metadata
pattern mining
data mining applications
evolutionary algorithm
machine learning
data mining techniques
itemsets
neural network
mining algorithm
web logs
association mining
transactional data
database