Správa matematických znalostí - Mathematical knowledge management

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Správa matematických znalostí“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Duben 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Správa matematických znalostí (MKM) je studium toho, jak může společnost efektivně využívat rozsáhlou a rostoucí literaturu matematika. Studuje přístupy, jako je databáze matematických znalostí, automatizované zpracování vzorců a použití sémantická informace, a umělá inteligence. Matematika je zvláště vhodná pro systematické studium automatizovaného zpracování znalostí z důvodu vysokého stupně vzájemné provázanosti mezi různými oblastmi matematiky.

Viz také

• OMDoc
• Manifest QED
• Oblasti matematiky
• MathML

externí odkazy

• Zájmová skupina MKM
• 9. mezinárodní konference o MATEMATICKÉM ŘÍZENÍ ZNALOSTÍ (MKM 2010), část 10. mezinárodní konference o umělé inteligenci a symbolickém výpočtu AISC 2010 Paříž, Francie, 5. – 6. Července 2010
• Konference s velkým důkazem , program na Institut Isaaca Newtona zaměřené na výzvy spojené s uvedením důkazní technologie do běžné matematické praxe.
  • Velký důkaz dva

Tento článek týkající se matematiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.