Mathematical knowledge management
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.