Zarządzanie wiedzą matematyczną
Zarządzanie wiedzą matematyczną (MKM) to nauka o tym, jak społeczeństwo może efektywnie wykorzystać ogromną i stale rosnącą literaturę matematyczną . Bada takie podejścia, jak bazy danych wiedzy matematycznej, automatyczne przetwarzanie formuł i wykorzystanie informacji semantycznej oraz sztuczna inteligencja . Matematyka szczególnie nadaje się do systematycznego badania zautomatyzowanego przetwarzania wiedzy ze względu na wysoki stopień wzajemnych powiązań między różnymi dziedzinami matematyki.
Zobacz też
Linki zewnętrzne
-
Hazewinkel, Michiel (listopad 2003). „Potrzebne jest zarządzanie wiedzą matematyczną”. arXiv : cs/0410055 .
Nawet nie wiemy, ile wiemy, że nie wiemy, że wiemy
- www.nist.gov/mathematical-knowledge-management , strona MKM NIST
- Grupa interesu MKM (archiwum)
- 9 Międzynarodowa Konferencja na temat MKM, Paryż, Francja, 2010
- Big Proof Conference , program w Instytucie Isaaca Newtona skierowany na wyzwania związane z wprowadzeniem technologii dowodowej do głównego nurtu praktyki matematycznej.
Kategorie: