mathematical knowledge management
{{Short description|Study of how society can effectively make use of mathematical literature}}
{{Notability|date=April 2016}}
{{inline |date=May 2024}}
{{Use dmy dates|date=March 2014}}
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
External links
- {{cite arXiv |last1=Hazewinkel |first1=Michiel |title=Mathematical knowledge management is needed |eprint=cs/0410055 |date=November 2003 |quote=We don’t even know how much we know that we don’t know we know}}
- [https://www.nist.gov/mathematical-knowledge-management www.nist.gov/mathematical-knowledge-management], NIST's MKM page
- [https://web.archive.org/web/20110709115552/http://www.mkm-ig.org/ The MKM Interest Group] (archived)
- [http://cicm2010.cnam.fr/mkm/index.html 9th International Conference on MKM, Paris, France, 2010]
- [https://www.newton.ac.uk/event/bpr Big Proof Conference ], a programme at the Isaac Newton Institute directed at the challenges of bringing proof technology into mainstream mathematical practice.
- [https://www.icms.org.uk/bigproof.php Big Proof Two]
Category:Mathematics and culture
{{mathematics-stub}}