A Survey in Mathematical Language Processing

要約

非公式な数学テキストは、現実世界の定量的推論とコミュニケーションを支えます。
この二重様式からの検索と抽象化の洗練された方法を開発することは、定量的な科学と数学における発見を自動化するというビジョンを追求する上で非常に重要です。
私たちは、近年の 5 つの戦略的サブ分野にわたる非公式数学的言語処理アプローチの開発を追跡し、既存の限界とともに広く普及している成功した方法論的要素に焦点を当てます。

要約(オリジナル)

Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery in quantitative science and mathematics. We track the development of informal mathematical language processing approaches across five strategic sub-areas in recent years, highlighting the prevailing successful methodological elements along with existing limitations.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google