请输入您要查询的百科知识:

 

词条 Mathematical knowledge management
释义

  1. See also

  2. External links

{{Notability|date=April 2016}}{{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

  • OMDoc
  • QED manifesto
  • Areas of mathematics
  • MathML

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
{{mathematics-stub}}

2 : Mathematics and culture|Information science

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/30 20:17:25