要約
MathGloss は、Web 上ですでに利用可能な最新の自然言語処理 (NLP) ツールとリソースを使用して、テキストから学部数学のナレッジ グラフ (KG) を自動的に作成するプロジェクトです。
MathGloss は、学部の数学の概念がリンクされたデータベースです。
これまでのところ、それは 5 つのリソースを組み合わせています: (i) ウィキメディア財団がホストする共同編集の多言語ナレッジ グラフであるウィキデータ、(ii) シカゴ大学の数学コースで扱われる用語、(iii) フランスの学部数学のシラバス
このカリキュラムには、自動化された定理証明器 Lean 4 へのハイパーリンク、(iv) 数学者が監修した数学の多言語辞書 MuLiMa、(v) 同様に数学者が監修した圏論の Wiki、nLab へのハイパーリンクが含まれています。
MathGloss の目標は、数学を学習するためのリソースをまとめ、すべての数学者が自分の好みに合わせて学習を調整できるようにすることです。
さらに、学部数学を学ぶためのさまざまなリソースを、正式な数学を学ぶためのリソースと並べて整理することで、数学者と正式なツール (定理証明者、コンピューター代数システムなど) の専門家がお互いを「理解し」、問題の一部を簡単に理解できるようにしたいと考えています。
正式な数学への障壁。
要約(オリジナル)
MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and resources already available on the web. MathGloss is a linked database of undergraduate concepts in mathematics. So far, it combines five resources: (i) Wikidata, a collaboratively edited, multilingual knowledge graph hosted by the Wikimedia Foundation, (ii) terms covered in mathematics courses at the University of Chicago, (iii) the syllabus of the French undergraduate mathematics curriculum which includes hyperlinks to the automated theorem prover Lean 4, (iv) MuLiMa, a multilingual dictionary of mathematics curated by mathematicians, and (v) the nLab, a wiki for category theory also curated by mathematicians. MathGloss’s goal is to bring together resources for learning mathematics and to allow every mathematician to tailor their learning to their own preferences. Moreover, by organizing different resources for learning undergraduate mathematics alongside those for learning formal mathematics, we hope to make it easier for mathematicians and formal tools (theorem provers, computer algebra systems, etc) experts to ‘understand’ each other and break down some of the barriers to formal math.
arxiv情報
| 著者 | Lucy Horowitz,Valeria de Paiva |
| 発行日 | 2023-11-21 14:49:00+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google