Mathematisches Wissensmanagement (MKM) untersucht, wie die Gesellschaft die umfangreiche und stetig wachsende mathematische Literatur effektiv nutzen kann . Es erforscht Ansätze wie mathematische Wissensdatenbanken, die automatisierte Verarbeitung von Formeln, die Nutzung semantischer Informationen und künstliche Intelligenz . Aufgrund der starken Vernetzung verschiedener mathematischer Bereiche eignet sich die Mathematik besonders gut für eine systematische Untersuchung der automatisierten Wissensverarbeitung.
Siehe auch
Externe Links
- Hazewinkel, Michiel (November 2003). „Mathematisches Wissensmanagement ist notwendig“. arXiv : cs/0410055 .
Wir wissen nicht einmal, wie viel wir wissen, ohne es zu wissen.
- www.nist.gov/mathematical-knowledge-management , die MKM-Seite des NIST
- Die MKM-Interessengruppe (archiviert)
- 9. Internationale Konferenz über MKM, Paris, Frankreich, 2010
- Die Big Proof Conference ist ein Programm des Isaac Newton Institute , das sich mit den Herausforderungen der Integration von Beweistechnologien in die mathematische Praxis befasst.
