De Robbio, Antonella and Marini, Alberto MKM Mathematical Knowledge Management. AIDAInformazioni : rivista di Scienze dell'informazione, 2003, vol. 21, n. 2. [Journal article (Unpaginated)]
Preview |
PDF
derobbio-marini21(2).pdf Download (168kB) | Preview |
English abstract
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.
Italian abstract
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.
Item type: | Journal article (Unpaginated) |
---|---|
Keywords: | biblioteche digitali per la matematica, gestione della conoscenza matematica, metadati, MKM, DML, mathemathical digitaly library, math knowledge management, metadata, MKM, DML |
Subjects: | B. Information use and sociology of information > BH. Information needs and information requirements analysis. |
Depositing user: | Users 181 not found. |
Date deposited: | 21 Aug 2007 |
Last modified: | 02 Oct 2014 12:09 |
URI: | http://hdl.handle.net/10760/10245 |
Downloads
Downloads per month over past year
Actions (login required)
View Item |