A Computer-Assisted Proof of the Uniqueness of the Perkel Graph.
Kris CoolsaetJan DegraerPublished in: Des. Codes Cryptogr. (2005)
Keyphrases
- computer assisted
- computer aided
- intraoperative
- directed graph
- graph theory
- random walk
- weighted graph
- graph structure
- connected components
- foreign language
- graph matching
- graph databases
- graph theoretic
- bipartite graph
- project based learning
- graph based algorithm
- surgical training
- theorem proving
- spanning tree
- directed acyclic graph
- image analysis
- pattern recognition
- image processing