Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation.

Stefan Gyürki Mikhail H. Klin

Published in: CASC (2014)

Keyphrases

computer algebra
graph matching
probability distribution
training examples
theorem prover
real time
genetic algorithm
learning algorithm
search algorithm
weighted graph
graph partitioning
graph representation