Mathematical knowledge management
 | The topic of this article may not meet Wikipedia's general notability guideline. (April 2016) |
Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on mathematics. 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.
See also
- OMDoc
- QED manifesto
- Areas of mathematics
- MathML
- [Big Proof Conference https://www.newton.ac.uk/event/bpr]
- [Big Proof Two https://www.icms.org.uk/bigproof.php]
External links
- The MKM Interest Group
- 9th International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2010), Part of the 10th International Conference on Artificial Intelligence and Symbolic Computation AISC 2010 Paris, France, 5-6 July 2010
 | This mathematics-related article is a stub. You can help Wikipedia by expanding it. |