MKM Mathematical Knowledge Management
(2003) MKM Mathematical Knowledge Management . AIDAInformazioni : rivista di Scienze dell'informazione 21(2).
Full text available as: |
Abstract
[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.
[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.
| 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. |
| ID Code: | 11205 |
| Deposited By: | Italian Staff, E-LIS |
| Deposited On: | 21 August 2007 |
| All fields: | Show all fields |
Archive Staff Only: edit this record