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. ^[1]

8 relations: Areas of mathematics, Artificial intelligence, Database, Mathematics, MathML, OMDoc, QED manifesto, Semantic Web.

Areas of mathematics

Mathematics encompasses a growing variety and depth of subjects over history, and comprehension requires a system to categorize and organize the many subjects into more general areas of mathematics.

New!!: Mathematical knowledge management and Areas of mathematics · See more »

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

New!!: Mathematical knowledge management and Artificial intelligence · See more »

Database

A database is an organized collection of data, stored and accessed electronically.

New!!: Mathematical knowledge management and Database · See more »

Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Mathematical knowledge management and Mathematics · See more »

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.

New!!: Mathematical knowledge management and MathML · See more »

OMDoc

OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents.

New!!: Mathematical knowledge management and OMDoc · See more »

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.

New!!: Mathematical knowledge management and QED manifesto · See more »

Semantic Web

The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).

New!!: Mathematical knowledge management and Semantic Web · See more »

Redirects here:

Mathematical Knowledge Management.

References

[1] https://en.wikipedia.org/wiki/Mathematical_knowledge_management

Unionpedia is a concept map or semantic network organized like an encyclopedia – dictionary. It gives a brief definition of each concept and its relationships.

This is a giant online mental map that serves as a basis for concept diagrams. It's free to use and each article or document can be downloaded. It's a tool, resource or reference for study, research, education, learning or teaching, that can be used by teachers, educators, pupils or students; for the academic world: for school, primary, secondary, high school, middle, technical degree, college, university, undergraduate, master's or doctoral degrees; for papers, reports, projects, ideas, documentation, surveys, summaries, or thesis. Here is the definition, explanation, description, or the meaning of each significant on which you need information, and a list of their associated concepts as a glossary. Available in English, Spanish, Portuguese, Japanese, Chinese, French, German, Italian, Polish, Dutch, Russian, Arabic, Hindi, Swedish, Ukrainian, Hungarian, Catalan, Czech, Hebrew, Danish, Finnish, Indonesian, Norwegian, Romanian, Turkish, Vietnamese, Korean, Thai, Greek, Bulgarian, Croatian, Slovak, Lithuanian, Filipino, Latvian, Estonian and Slovenian. More languages soon.

All the information was extracted from Wikipedia, and it's available under the Creative Commons Attribution-ShareAlike License.

Unionpedia is not endorsed by or affiliated with the Wikimedia Foundation.

Google Play, Android and the Google Play logo are trademarks of Google Inc.