MKM Mathematical Knowledge Management

Abstract(s)

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.

A Bertinoro nel febbraio 2003 si è svolta la 2. International Conference on Mathematical Knowledge Management, MKM 2003 dedicata allo sviluppo di strumenti matematici e informatici che consentano di organizzare e rendere efficacemente utilizzabili le conoscenze matematiche oggi disponibili. Attualmente al MKM afferiscono diversi tipi di ricerche e le relazioni presentate a Bertinoro hanno toccato una notevole varietà di problemi. Alcuni di questi coinvolgono direttamente attività concernenti la digitalizzazione dei documenti matematici e l'organizzazione di digital libraries. Altri interventi hanno toccato nozioni e risultati della logica e della intelligenza artificiale la cui utilizzazione per la documentazione della matematica si presenta molto promettente. La presente relazione tecnica intende fornire uno strumento di partenza per approfondire queste tematiche.