Login / Signup
Some Notes on Proofs with Alpha Graphs.
Frithjof Dau
Published in:
ICCS (2006)
Keyphrases
</>
graph theory
directed graph
graph matching
theorem proving
equational theories
theorem prover
graph model
graph representation
graph theoretic
mathematical proofs
database
labeled graphs
decision procedures
random graphs
graph clustering
graph partitioning
community detection
bipartite graph
website