Mining graphs to discover new theorems in mathematics

Mining graphs to discover new theorems in mathematics

Desrosiers, Christian and Galinier, Philippe and Hansen, Pierre

Compte rendu de łdots 2009

Abstract : This paper introduces a new data mining problem of characterizing a class of graphs with a set of forbidden subgraphs. Efficient methods for this problem are presented, and the potential of these methods illustrated on the task of discovering novel and significant results łdots