Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
. It studies approaches such as
database
In computing, a database is an organized collection of data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The design of databases sp ...
s of mathematical knowledge, automated processing of formulae and the use of
semantic information, and
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech re ...
. 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
OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and “content dictionaries” containing definitio ...
*
QED manifesto
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. ( Q.E.D. means in Latin, meaning "which was to be demonstrated.")
Overview
T ...
*
Areas of mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
*
MathML
Mathematical Markup Language (MathML) is a mathematical markup language, an application of XML for describing mathematical notations and capturing both its structure and content. It aims at integrating mathematical formulae into World Wide Web ...
External links
*
www.nist.gov/mathematical-knowledge-management NIST
The National Institute of Standards and Technology (NIST) is an agency of the United States Department of Commerce whose mission is to promote American innovation and industrial competitiveness. NIST's activities are organized into physical sci ...
's MKM page
The MKM Interest Group(archived)
Big Proof Conference
a programme at the Isaac Newton Institute
The Isaac Newton Institute for Mathematical Sciences is an international research institute for mathematics and its many applications at the University of Cambridge. It is named after one of the university's most illustrious figures, the mathema ...
directed at the challenges of bringing proof technology into mainstream mathematical practice.
Big Proof Two
{{mathematics-stub
Mathematics and culture
Information science