Mathematical Knowledge Management
Mathematical Knowledge Management is an exciting new field at the intersection of mathematics and computer science. We need efficient, new techniques - based on sophisticated formal mathematics and software technology - to take advantage of the enormous amount of knowledge available in current mathematical sources and to organize mathematical knowledge in new ways. By its very nature, the realm of mathematical information looks a very likely candidate on which to test innovative theoretical and technological solutions for content-based systems, interoperability, management of machine understandable information, and the Semantic Web.
MKM was founded as a workshop in 2001, became a conference in 2003, and has become part of the Conference on Intelligent Computer Mathematics (CICM) in 2010.
The MKM interest group is a loosely coupled network of research groups and individuals interested in joining forces for the study and design of software systems for mathematical knowledge management.
The 12th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2013) will take place in July 8-12 2013 at University of Bath, UK as part of CICM 2013.