Interactive and automated proofs for graph transformations.
Martin StreckerPublished in: Math. Struct. Comput. Sci. (2018)
Keyphrases
- graph theory
- fully automated
- directed graph
- automated theorem provers
- weighted graph
- graph representation
- random walk
- user interaction
- graph structure
- structured data
- information retrieval
- virtual reality
- graph theoretic
- graphical models
- directed acyclic graph
- user friendly
- graph clustering
- information visualization
- semi automated
- data sets
- computer graphics
- connected components
- theorem proving
- graph databases
- data visualization
- theorem prover
- graph matching
- graph search