Proof of two Maurer's conjectures on basis graphs of matroids
Jérémie ChalopinVictor ChepoiDamian OsajdaPublished in: CoRR (2012)
Keyphrases
- theorem prover
- independent set
- geometry theorem proving
- starting point
- graph matching
- graph theoretic
- case study
- database
- directed graph
- theorem proving
- graph representation
- interactive theorem proving
- small world
- graph partitioning
- community detection
- pattern recognition
- search algorithm
- data structure
- bayesian networks