Flyspeck I: Tame Graphs.

Gertrud Bauer Tobias Nipkow

Published in: Arch. Formal Proofs (2006)

Keyphrases

graph theoretic
graph matching
graph theory
data mining
graph mining
graph construction
graph isomorphism
data sets
labeled graphs
graph classification
subgraph isomorphism
graph clustering
small world
directed graph
decision trees
knowledge base
neural network