数学的知識管理（MKM）とは、社会が膨大かつ増え続ける数学に関する文献をいかに効果的に活用できるかを研究する学問である。数学的知識のデータベース、数式の自動処理、意味情報の利用、人工知能といった手法が研究対象となる。数学は、様々な分野間の相互関連性が高いため、自動知識処理の体系的な研究に特に適している。
外部リンク
- ハゼウィンケル、ミヒール（2003年11月）。「数学的知識管理が必要である」。arXiv ：cs /0410055。
私たちは、自分が知っていることを知らないという認識さえ持っていない。
- www.nist.gov/mathematical-knowledge-management（NISTのMKMページ）
- MKM関心グループ（アーカイブ）
- 第9回MKM国際会議、フランス・パリ、2010年
- ビッグ・プルーフ・カンファレンスは、アイザック・ニュートン研究所が主催するプログラムで、証明技術を主流の数学実践に取り入れる際の課題に取り組むことを目的としています。
