On the equational graphs over finite fields.
Bernard MansMin ShaJeffrey SmithDaniel SutantyoPublished in: Finite Fields Their Appl. (2020)
Keyphrases
- equational theories
- theorem proving
- graph matching
- graph theory
- graph databases
- computer vision
- series parallel
- finite number
- directed graph
- bipartite graph
- graph theoretic
- structured objects
- theorem prover
- neural network
- complex networks
- similarity measure
- spanning tree
- undirected graph
- complex structures
- finite automata
- search engine
- data mining