Computer algebra investigation of known primitive triangle-free strongly regular graphs.

Matan Ziv-Av Mikhail H. Klin

Published in: SCSS (2013)

Keyphrases

computer algebra
theorem prover
graph theoretic
graph theory
higher level
graph structure
database
high level
graph matching
series parallel
small world
graph clustering
computer algebra systems
automated theorem provers
graph databases
case study
genetic algorithm
real time