Mathematical knowledge management
Jump to navigation
Jump to search
The topic of this article may not meet Wikipedia's general notability guideline. (April 2016) |
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2024) |
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
[edit | edit source]External links
[edit | edit source]- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- www.nist.gov/mathematical-knowledge-management, NIST's MKM page
- The MKM Interest Group (archived)
- 9th International Conference on MKM, Paris, France, 2010
- Big Proof Conference , a programme at the Isaac Newton Institute directed at the challenges of bringing proof technology into mainstream mathematical practice.
