 | この記事のトピックは、Wikipediaの一般的な特筆性に関するガイドラインを満たしていない可能性があります。トピックとは ( 2016年4月) |
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (May 2024) |
数学的知識管理（MKM）は、膨大かつ増加し続ける数学に関する文献を社会がどのように効果的に活用できるかを研究する学問です。数学的知識のデータベース、数式の自動処理と意味情報の活用、人工知能といったアプローチを研究対象としています。数学は、様々な数学分野間の相互関連性が高いため、自動知識処理の体系的な研究に特に適しています。
参照
外部リンク
- ヘイズウィンケル、ミヒエル（2003年11月）「数学的知識管理の必要性」arXiv : cs/0410055。
私たちは、自分が知っていることを知らないことを、どれだけ知っているかさえ知らない。
- www.nist.gov/mathematical-knowledge-management、NISTの MKMページ
- MKM 関心グループ (アーカイブ)
- 第9回MKM国際会議、パリ、フランス、2010年
- ビッグ プルーフ カンファレンスは、アイザック ニュートン研究所のプログラムで、証明技術を数学の主流の実践に取り入れるという課題に取り組んでいます。
- 大きな証拠2
 | この数学関連の記事はスタブです。不足している情報を追加することで、Wikipedia に貢献できます。 |
