User:Katja Berčič/MKM

Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing mathematical knowledge. Considered in a narrower sense, MKM concerns itself with the management of the formal representations of mathematical concepts. More broadly, it is the management of mathematical information and concepts, both formal and informal. It studies approaches such as databases of mathematical knowledge, automated processing of formulae and the use of semantic information, and artificial intelligence. Mathematics is particularly suited to a systematic study of automated knowledge processing due to the high degree of interconnectedness between different areas of mathematics.

Mathematical knowledge management as a field was launched in 2001 at the First International Workshop on Mathematical Knowledge Management.

Examples of existing resources and systems

 * Digital Library of Mathematical Functions
 * Bateman Manuscript Project
 * The Princeton Companion to Mathematics
 * Mizar system
 * On-Line Encyclopedia of Integer Sequences
 * MathWorld