Natural Language Processing Approach to Understand and Utilize Mathematical Formulae

理解和利用数学公式的自然语言处理方法

• 批准号: 24300062
• 负责人: Aizawa Akiko
• 金额: $ 11.32万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24300062/
• 关键词: 数式検索; 数式理解; 自然言語処理; 数学知識基盤; MathML; 情報検索; 数学知識; 情報抽出; XML構造; 評価用データ

项目成果

MCAT Math Retrieval System for NTCIR-12 MathIR Task

用于 NTCIR-12 MathIR 任务的 MCAT 数学检索系统

• 发表时间: 2016
• 作者: Giovanni Yoko Kristianto;Goran Topic;Akiko Aizawa
• 通讯作者: Akiko Aizawa

MathIR Task Overview

MathIR 任务概述

• 发表时间: 2016
• 作者: Richard Zanibbi;Akiko Aizawa;Michael Kohlhase;Iadh Ounis;Goran Topic;Kenny Davila
• 通讯作者: Kenny Davila

Efficient Algorithm for Math Formula Semantic Search

• DOI: 10.1587/transinf.2015dap0023
• 发表时间: 2016-04
• 期刊: IEICE Trans. Inf. Syst.
• 作者: Shunsuke Ohashi;Giovanni Yoko Kristianto;Goran Topic;Akiko Aizawa

Sense disambiguation: from natural language words to mathematical termsSense disambiguation: from natural language words to mathematical terms

语义消歧：从自然语言单词到数学术语语义消歧：从自然语言单词到数学术语

• 发表时间: 2013
• 作者: Minh-Quoc Nghiem;Giovanni Yoko Kristianto;Goran Topic;Akiko Aizawa
• 通讯作者: Akiko Aizawa

Annotating Mathematical Expression Definitions for Automatic Detection

注释数学表达式定义以进行自动检测

• 发表时间: 2012
• 作者: Giovanni Yoko Kristianto;Minh-Quoc Nghiem;Nobuo Inui;Goran Topic and Akiko Aizawa
• 通讯作者: Goran Topic and Akiko Aizawa