Formalization of a Big Graph API in Coq.
Jolan PhilippeWadoud BousdiraFrédéric LoulerguePublished in: HPCS (2017)
Keyphrases
- connected components
- graph theory
- structured data
- random walk
- open source
- graph model
- graph representation
- graph theoretic
- semi supervised
- third party
- graph matching
- spanning tree
- graph mining
- graph search
- graph based algorithm
- application programming interface
- artificial intelligence
- graph partitioning
- stable set
- graph databases
- directed acyclic graph
- theorem prover
- formal model
- graph cuts
- knowledge representation
- bayesian networks
- high level
- knowledge base