#
Mathematical Knowledge Management

**M**athematical **K**nowledge **M**anagement 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
**C**onference on **I**ntelligent **C**omputer **M**athematics (**CICM**) in 2010.

The **MKM** interest group was 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.

In 2015, the **MKM** interest group was dissolved. Its members, tasks, and resources were absorbed by the CICM organization.
Its identity continues as a track of the CICM conference.