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

De Robbio, Antonella and Marini, Alberto MKM Mathematical Knowledge Management : Second International Conference on MKM Mathematical Knowledge Management 2003. Bertinoro (Forlì), 16-20 febbraio 2003. AIDAInformazioni : rivista di Scienze dell'informazione, 2003. (In Press) [Journal article (Paginated)]

Preview	PDF MKM.pdf Download (636kB) | Preview
	Text (Rich Text) MKM.rtf Download (65kB)
	Text (Rich Text) MKM3.rtf Download (67kB)

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 dal 16 1l 18 febbraio 2003 si è svolta la 2. International Conference on Mathematical Knowledge Management, MKM 2003. Il settore di ricerca contraddistinto dalla sigla MKM è volto allo sviluppo di strumenti basati su sofisticate nozioni matematiche e su avanzate tecnologie del software che consentano di organizzare e rendere efficacemente utilizzabili il grande complesso di risultati matematici oggi disponibili. Attualmente alla MKM afferiscono diversi tipi di ricerche e la ventina di 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 intende fornire uno strumento di partenza per approfondire queste tematiche.

Item type:	Journal article (Paginated)
Keywords:	mathematical digital libraries, MKM, Mathematical Knowledge Management, metadata, biblioteche digitali per la matematica, gestione della conoscenza matematica, metadati
Subjects:	L. Information technology and library technology H. Information sources, supports, channels. I. Information treatment for information services E. Publishing and legal issues.
Depositing user:	Antonella De Robbio
Date deposited:	08 Aug 2004
Last modified:	02 Oct 2014 11:57
URI:	http://hdl.handle.net/10760/4065

Downloads

Actions (login required)

View Item