• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Natural Language Processing Approach to Understand and Utilize Mathematical Formulae

Research Project

Project/Area Number 24300062
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

Aizawa Akiko  国立情報学研究所, コンテンツ科学研究系, 教授 (90222447)

Project Period (FY) 2012-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥17,680,000 (Direct Cost: ¥13,600,000、Indirect Cost: ¥4,080,000)
Fiscal Year 2014: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
Fiscal Year 2013: ¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2012: ¥6,500,000 (Direct Cost: ¥5,000,000、Indirect Cost: ¥1,500,000)
Keywords数式検索 / 数式理解 / 自然言語処理 / 数学知識基盤 / MathML / 情報検索 / 数学知識 / 情報抽出 / XML構造 / 評価用データ
Outline of Final Research Achievements

A mathematical formula is an important component of scientific documents with a specific semantic structure. In this research, we aim at developing a framework for semantic enrichment of mathematical formulae using natural language processing techniques. We conducted researches on following techniques for mathematical information access and showed the usefulness of the proposed methods: automatic extraction of natural language description of mathematical symbols and formulae, extraction of dependencies between mathematical formulae in a document, and a fast algorithm for similarity search of a large-scale, complicated tree-structures. We also organized a shared task for mathematical formula search and constructed several evaluation datasets which can be shared by researchers in the related field.

Report

(5 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Annual Research Report
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (26 results)

All 2016 2015 2014 2013 2012 Other

All Journal Article (2 results) (of which Peer Reviewed: 2 results,  Open Access: 1 results) Presentation (22 results) (of which Int'l Joint Research: 1 results,  Invited: 1 results) Remarks (2 results)

  • [Journal Article] Efficient Algorithm for Math Formula Semantic Search2016

    • Author(s)
      Shunsuke Ohashi, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E99.D Issue: 4 Pages: 979-988

    • DOI

      10.1587/transinf.2015DAP0023

    • NAID

      130005141361

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Using MathML Parallel Markup Corpora for Semantic Enrichment of Mathematical Expressions2013

    • Author(s)
      Minh-Quoc Nghiem, Giovanni Yoko Kristianto and Akiko Aizawa
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E96.D Issue: 8 Pages: 1707-1715

    • DOI

      10.1587/transinf.E96.D.1707

    • NAID

      130003370952

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Presentation] MathIR Task Overview2016

    • Author(s)
      Richard Zanibbi, Akiko Aizawa, Michael Kohlhase, Iadh Ounis, Goran Topic, Kenny Davila
    • Organizer
      The 12th NTCIR Conference
    • Place of Presentation
      国立情報学研究所、東京都
    • Year and Date
      2016-06-07
    • Related Report
      2015 Annual Research Report
  • [Presentation] MCAT Math Retrieval System for NTCIR-12 MathIR Task2016

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Organizer
      The 12th NTCIR Conference
    • Place of Presentation
      国立情報学研究所、東京都
    • Year and Date
      2016-06-07
    • Related Report
      2015 Annual Research Report
  • [Presentation] Combining Effectively Math Expressions and Textual Keywords in Math IR2016

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Organizer
      Third International Workshop on “Digitization and E-Inclusion in Mathematics and Science 2016” (DEIMS2016)
    • Place of Presentation
      湘南国際村センター、神奈川県
    • Year and Date
      2016-02-04
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] コンピュータによる数式理解と数式検索システム2016

    • Author(s)
      相澤彰子
    • Organizer
      第120回情報基礎とアクセス技術研究会・第47回ディジタル図書館ワークショップ合同研究会
    • Place of Presentation
      東京工業大学、東京都
    • Year and Date
      2016-01-25
    • Related Report
      2015 Annual Research Report
    • Invited
  • [Presentation] SIGURE Hash: 数式検索のための高速な類似検索アルゴリズム2015

    • Author(s)
      大橋駿介, 相澤彰子
    • Organizer
      第7回データ工学と情報マネジメントに関するフォーラム(第13回日本データベース学会年次大会)
    • Place of Presentation
      磐梯熱海ホテル華の湯、郡山市
    • Year and Date
      2015-03-02 – 2015-03-04
    • Related Report
      2014 Annual Research Report
  • [Presentation] The MCAT Math Retrieval System for NTCIR-11 Math Track2014

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, Florence Ho, and Akiko Aizawa
    • Organizer
      The 11th NTCIR Conference
    • Place of Presentation
      国立情報学研究所、東京都
    • Year and Date
      2014-12-09 – 2014-12-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] NTCIR-11 Math-2 Task Overview2014

    • Author(s)
      Akiko Aizawa, Michael Kohlhase, Iadh Ounis, and Moritz Schubotz
    • Organizer
      The 11th NTCIR Conference
    • Place of Presentation
      国立情報学研究所、東京都
    • Year and Date
      2014-12-09 – 2014-12-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] Exploiting Textual Descriptions and Dependency Graph for Searching Mathematical Expressions in Scientific Papers2014

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, and Akiko Aizawa
    • Organizer
      The 9th International Conference on Digital Internation Management (ICDIM 2014) (Best Paper Award)
    • Place of Presentation
      Bangkok, Thailand
    • Year and Date
      2014-09-29 – 2014-10-01
    • Related Report
      2014 Annual Research Report
  • [Presentation] Exploiting Textual Descriptions and Dependency Graph for Searching Mathematical Expressions in Scientific Papers2014

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Organizer
      The 9th International Conference on Digital Internation Management (ICDIM 2014)
    • Place of Presentation
      Bangkok, Thailand
    • Year and Date
      2014-09-29 – 2014-10-01
    • Related Report
      2013 Annual Research Report
  • [Presentation] Extracting Textual Descriptions of Mathematical Expressions in Scientific Papers2014

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, and Akiko Aizawa
    • Organizer
      The 3rd International Workshop on Mining Scientific Publications, held in conjunction with Digital Libraries 2014
    • Place of Presentation
      London, United Kingdom
    • Year and Date
      2014-09-08 – 2014-09-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] Which one is better: presentation-based or content-based math search?2014

    • Author(s)
      Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Organizer
      The Conference on Intelligent Computer Mathematics (CICM 2014)
    • Place of Presentation
      Coimbra, Portugal
    • Year and Date
      2014-07-07 – 2014-07-11
    • Related Report
      2013 Annual Research Report
  • [Presentation] 表記が異なる同義の数式の高速な検索法2014

    • Author(s)
      大橋駿介,高須淳宏,相澤彰子
    • Organizer
      第6回データ工学と情報マネジメントに関するフォーラム(第12回日本データベース学会年次大会)
    • Place of Presentation
      淡路夢舞台&ウェスティン淡路、淡路市
    • Year and Date
      2014-03-03 – 2014-03-05
    • Related Report
      2013 Annual Research Report
  • [Presentation] 数式検索タスク NTCIR-11 Math-22013

    • Author(s)
      相澤 彰子,Michael Kohlhase,Iadh Ounis
    • Organizer
      情報アクセス技術の評価ワークショップ特別セッション: NTCIR-11, インタラクティブ情報アクセスと可視化マイニング(SIG-AM)第5回研究会
    • Place of Presentation
      慶應義塾大学日吉キャンパス、横浜市
    • Year and Date
      2013-10-25
    • Related Report
      2013 Annual Research Report
  • [Presentation] Sense disambiguation: from natural language words to mathematical termsSense disambiguation: from natural language words to mathematical terms2013

    • Author(s)
      Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa
    • Organizer
      The 6th International Joint Conference on Natural Language Processing (IJCNLP 2013)
    • Place of Presentation
      名古屋国際会議場、名古屋市
    • Year and Date
      2013-10-14 – 2013-10-18
    • Related Report
      2013 Annual Research Report
  • [Presentation] A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions2013

    • Author(s)
      Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko Aizawa
    • Organizer
      The Conference on Intelligent Computer Mathematics (CICM 2013)
    • Place of Presentation
      Bath, UK
    • Related Report
      2012 Annual Research Report
  • [Presentation] NTCIR-10 Math Pilot Task Overview2013

    • Author(s)
      Akiko Aizawa, Michael Kohlhase and Iadh Ounis
    • Organizer
      The 10th NTCIR Conference
    • Place of Presentation
      国立情報学研究所(東京)
    • Related Report
      2012 Annual Research Report
  • [Presentation] The MCAT Math Retrieval System for NTCIR-10 Math Track2013

    • Author(s)
      Goran Topić, Giovanni Yoko Kristianto, Minh-Quoc Nghiem and Akiko Aizawa
    • Organizer
      The 10th NTCIR Conference
    • Place of Presentation
      国立情報学研究所(東京)
    • Related Report
      2012 Annual Research Report
  • [Presentation] Annotating Scientific Papers for Mathematical Formula Search2012

    • Author(s)
      Giovanni Yoko Kristianto, Goran Topic, Minh-Quoc Nghiem and Akiko Aizawa
    • Organizer
      The Fifth Workshop on Exploiting Semantic Annotations in Information Retrieval (ESAIR 2012) of The 21st ACM International Conference on Information and Knowledge Management (CIKM 2012)
    • Place of Presentation
      Maui, Hawaii, USA
    • Related Report
      2012 Annual Research Report
  • [Presentation] An Overview of NTCIR-10 Math Pilot Task2012

    • Author(s)
      Akiko Aizawa, Michael Kohlhase and Iadh Ounis
    • Organizer
      MIR 2012 Workshop ― Mathematics Information Retrieval at Conferences on Intelligent Computer Mathematics (CICM 2012)
    • Place of Presentation
      Bremen, Germany
    • Related Report
      2012 Annual Research Report
  • [Presentation] Annotating Mathematical Expression Definitions for Automatic Detection2012

    • Author(s)
      Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Nobuo Inui, Goran Topic and Akiko Aizawa
    • Organizer
      MIR 2012 Workshop ― Mathematics Information Retrieval at Conferences on Intelligent Computer Mathematics (CICM 2012)
    • Place of Presentation
      Bremen, Germany
    • Related Report
      2012 Annual Research Report
  • [Presentation] Automatic Approach to Understanding Mathematical Expressions Using MathML Parallel Markup Corpora2012

    • Author(s)
      Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Yuichiroh Matsubayashi and Akiko Aizawa
    • Organizer
      第26回人工知能学会全国大会(JSAI 2012) International Organized Session
    • Place of Presentation
      山口県教育会館(山口)
    • Related Report
      2012 Annual Research Report
  • [Presentation] Extracting Definitions of Mathematical Expressions in Scientific Papers2012

    • Author(s)
      Giovanni Yoko Kristianto, Minh-Quoc Nghiem, Yuichiroh Matsubayashi and Akiko Aizawa
    • Organizer
      第26回人工知能学会全国大会 (JSAI 2012) International Organized Session
    • Place of Presentation
      山口県教育会館(山口)
    • Related Report
      2012 Annual Research Report
  • [Remarks] Aizawa-lab MathCat Group

    • URL

      http://mathcat.nii.ac.jp/

    • Related Report
      2012 Annual Research Report
  • [Remarks] NTCIR-10 Math Pilot Task Webpage

    • URL

      http://ntcir-math.nii.ac.jp/

    • Related Report
      2012 Annual Research Report

URL: 

Published: 2012-04-24   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi