DIMACS Working Group on Computer-Generated Conjectures from
Graph Theoretic and Chemical Databases II

Second Meeting: Computers and Discovery
June 2 - 5, 2004
HEC Montréal 3000, chemin de la Côte-Sainte-Catherine Montréal (Québec) Canada

Organizers:

Patrick Fowler, University of Exeter, P.W.Fowler@exeter.ac.uk

Pierre Hansen, GERAD - Ecole des Hautes Etudes Commerciales, Pierre.Hansen@gerad.ca

Working Group on Computer-Generated Conjectures from Graph Theoretic and Chemical Databases I .

Computers are increasingly used in mathematics and the sciences. To the traditional « number-crunching » have been added formal methods, automated proof techniques and, recently, a large number of approaches to computer-aided on automated discovery. The resulting techniques in this last endeavor are grouped under various names: « experimental mathematics », «discovery science », « data mining and knowledge discovery » and the like. They are based on many different principles such as e.g. integer relation finding inductive logic programming or the joint use of metaheuristics and data analysis methods. They have led to strong results in many fields. Some of these results are very surprising, e.g. the discovery by Bailey Borwein and Plouffe of a relation for p which allows finding the value of any bit of its binary expansion without knowing the previous ones.

Aims: The Workshop will have several aims:

(i) To survey main results obtained in computer-aided or automated discovery in various fields of mathematics such as number theory, geometry, graph theory, algebra, etc., as well as in various sciences such as chemistry, physics, bioinformatics, economics, ecology, etc.;

(ii) To present and discuss main tools of computer-aided or automated discovery;

(iii) To illustrate the working of software for discovery through demonstrations and discussions;

(iv) To stimulate the initiation of collaborative research between teams using differents techniques an/or working in different fields.

To favor those aims, the audience will be kept at a moderate size and by invitation only.

Further information: Please contact the organizers or Carole Dufour at GERAD (Carole.Dufour@gerad.ca).

For additional information, please see: http://www.gerad.ca/computerdiscovery/index.html

Next: Call for Participation

Workshop Index

DIMACS Homepage