A Graph Library for Isabelle.

Lars Noschinski

Published in: Math. Comput. Sci. (2015)

Keyphrases

theorem prover
graph representation
structured data
graph theory
connected components
bipartite graph
stable set
graph based algorithm
graph model
graph structure
directed graph
random walk
graph theoretic
graph mining
graphical representation
edge weights
graph data
data sets
real time