Asperti A., Bancerek G., Trybulec A. — Mathematical Knowledge Management Third International Conference, MKM 2004 Poland, September 19-21, 2004 Proceedings
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Mathematical Knowledge Management Third International Conference, MKM 2004 Poland, September 19-21, 2004 Proceedings
Авторы: Asperti A., Bancerek G., Trybulec A.
Аннотация:
The International Conference on Mathematical Knowledge Management has now reached its third edition, creating and establishing an original and stimulating scientific community transversal to many different fields and research topics. The broad goal of MKM is the exploration of innovative, semantically enriched, digital encodings of mathematical information, and the study of new services andtools exploiting the machine-understandable nature of the information. MKM is naturally located in the border area between digital libraries and the mechanization of mathematics, devoting a particular interest to the new developments in information technology, and fostering their application to the realm of mathematical information. The conference is meant to be a forum for presenting, discussing and comparing new tools and systems, standardization efforts, critical surveys, large experiments, and case studies. At present, we are still getting to know each other, to understand the work done by other people, and the potentialities offered by their work to our own research activity. However, the conference is rapidly acquiring scientific strength and academic interest, attracting more and more people and research groups, and offering a challenging alternative to older, more conservative conferences.