How Far Is, Should and Could Be Conjecture-Making in Graph Theory an Automated Process?

BibTeX reference

Computer-assisted and automated conjecture-making in graph theory is reviewed, focusing on the three operational systems GRAPH, Graffiti and AutoGraphiX (AGX). A series of possible enhancements, mostly through hybridisation of these systems, are proposed as well as several research paths for development of the area.

, 51 pages

This cahier was revised in June 2004

Research Axes

Research applications


How far is, sould and could be conjecture-making in graph theory an automated process?
Graphs and Discovery, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 189–230, 2005 BibTeX reference