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:
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