MKM Mathematical Knowledge Management : Second International Conference on MKM Mathematical Knowledge Management 2003. Bertinoro (Forlì), 16-20 febbraio 2003

The 2nd International Conference on Mathematical Knowledge Management, MKM 2003, took place at Bertinoro (Forlì), from February 16th to 18th, 2003. The research field, labelled with the acronym MKM, is devoted to the development of tools based on sophisticated mathematical concepts and advanced software technologies, which allow to organize and make effectively available the great deal of mathematical results of today. Different kinds of research contribute currently to MKM, and the reports presented at Bertinoro touched on a notable variety of problems. Some of these problems directly involved some activities related to the digitization of mathematical documents and the organization of digital libraries. Other presentations touched on concepts and outcomes of logic and artificial intelligence, whose deployment appears very promising for the documentation of mathematics. This report is intended to provide a starting tool to probe such topics with more depth.