Proof of conjectures on adjacency eigenvalues of graphs.
Kinkar Chandra DasPublished in: Discret. Math. (2013)
Keyphrases
- theorem prover
- geometry theorem proving
- covariance matrix
- graph structure
- eigenvalues and eigenvectors
- graph theoretic
- graph mining
- singular value decomposition
- graph matching
- theorem proving
- graph partitioning
- graph representation
- strongly connected
- laplacian matrix
- graph model
- inference rules
- graph clustering
- graph construction
- series parallel
- linear logic
- structured objects
- np hard