Group for Research in Decision Analysis


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

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