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

De Robbio, Antonella Marini, Alberto

E-LIS eprint archive / E-LIS ( web site)
(ReLIS:oai:rclisa:119)

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 attivita` 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

Creation: 01 Jan 2003
Keywords: L. Information technology and library technology

 (go top)