Popis: |
This volume presents topics addressed at the working group meeting and workshop on Computer-generated Conjectures from Graph Theoretic and Chemical Databases held at Rutgers University (Piscataway, NJ). The events brought together theoreticians and practitioners working in graph theory and chemistry to share ideas and to set an agenda for future developments in the use of computers for generating scientific conjectures. Articles included in the volume were written by developers of some of the most important programs used around the world today, and topics represented in these articles center around various approaches to the use of computers to generate scientific conjectures, mainly in graph theory and chemistry. These approaches combine ideas from such disciplines as theoretical and applied computer science, statistics, discrete and non-discrete mathematics, chemistry, and information science. |