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).
Next: Call for Participation
Workshop Index
DIMACS Homepage