Graphs and Discovery Book

	Considerations for future designers of general purpose graph software	1
	Discovering optimization algorithms through automated learning	7
	Numbers of faces and boundary encodings of patches	27
	Graph theoretical results obtained by the support of the expert system "graph" - an extended survey	39
	Graffiti.pc : a variant of Graffiti	71
	Some history of the development of Graffiti	81
	On some conjectures of Griggs and Graffiti	119
	On the representation and characterization of fullerene C[subscript 60]	127
	The structure of fullerene signatures	137
	Catalog of all fullerenes with ten or more symmetries	167
	How far is, should and could be conjecture-making in graph theory an automated process?	189
	What forms do interesting conjectures have in graph theory?	231
	Variable neighborhood search for extremal graphs : 9 : bounding the irregularity of a graph	253
	Mathematics for the nanocell approach to molecular electronics	265
	A software system for matroids	287
	A survey of research in automated mathematical conjecture-making	297
	Constrained generation of molecular graphs	319
	A dynamic programming approach for timing and designing clique algorithms	333
	On new didactics of mathematics : learning graph theory via Graffiti	341
	Interactive conjecturing with VEGA	351
	On the (1,2)-spectral spread of fullerenes	365