数学的知識管理

数学的知識管理 (MKM) は、社会が数学に関する膨大かつ増え続ける文献をいかに効果的に活用できるかを研究する学問です。数学的知識のデータベース、数式の自動処理と意味情報の使用、人工知能などのアプローチを研究します。数学は、数学のさまざまな分野間の相互関連性が高いため、自動知識処理の体系的な研究に特に適しています。

• オムドック
• QED マニフェスト
• 数学の分野
• 数学ML

• Hazewinkel, Michiel (2003 年 11 月)。「数学的知識管理が必要」。arXiv : cs /0410055。私たちは、自分が知っていることを知らないことをどれだけ知っているかさえ知らない。
• www.nist.gov/mathematical-knowledge-management、NISTの MKMページ
• MKM 関心グループ (アーカイブ)
• 第 9 回 MKM 国際会議、フランス、パリ、2010 年
• ビッグ証明会議は、証明技術を数学の主流の実践に取り入れるという課題に焦点を当てた アイザック・ニュートン研究所のプログラムです。
  • 大きな証拠2