Proof Structures and Matrix Graphs.
Bertram FronhöferPublished in: Intellectics and Computational Logic (2000)
Keyphrases
- introduce a general framework
- graph structures
- complex structures
- adjacency matrix
- eigenvalues and eigenvectors
- graph matching
- graph theory
- graphical models
- theorem proving
- positive definite
- graph representation
- graph mining
- maximal cliques
- singular value decomposition
- matrix representation
- laplacian matrix
- spectral decomposition
- graph partitioning
- graph clustering
- linear algebra
- graph theoretic
- theorem prover
- low rank
- bipartite graph
- directed graph
- structured data
- np complete