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.it