Groupe d’études et de recherche en analyse des décisions


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

Ce cahier a été révisé en juin 2004