G-2002-44
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.
Published August 2002 , 51 pages
This cahier was revised in June 2004
Research Axes
Research applications
Publication
Jan 2005
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