International Conference on Mathematical Knowledge Management

MKM 2006: Mathematical Knowledge Management pp 124-138

Capturing Abstract Matrices from Paper

  • Toshihiro Kanahori
  • Alan Sexton
  • Volker Sorge
  • Masakazu Suzuki
Conference paper

DOI: 10.1007/11812289_11

Volume 4108 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Kanahori T., Sexton A., Sorge V., Suzuki M. (2006) Capturing Abstract Matrices from Paper. In: Borwein J.M., Farmer W.M. (eds) Mathematical Knowledge Management. MKM 2006. Lecture Notes in Computer Science, vol 4108. Springer, Berlin, Heidelberg

Abstract

Capturing and understanding mathematics from print form is an important task in translating written mathematical knowledge into electronic form. While the problem of syntactically recognising mathematical formulas from scanned images has received attention, very little work has been done on semantic validation and correction of recognised formulas. We present a first step towards such an integrated system by combining the Infty system with a semantic analyser for matrix expressions. We applied the combined system in experiments on the semantic analysis of matrix images scanned from textbooks. While the first results are encouraging, they also demonstrate many ambiguities one has to deal with when analysing matrix expressions in different contexts. We give a detailed overview of the problems we encountered that motivate further research into semantic validation of mathematical formula recognition.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Toshihiro Kanahori
    • 1
  • Alan Sexton
    • 2
  • Volker Sorge
    • 2
  • Masakazu Suzuki
    • 3
  1. 1.Tsukuba University of TechnologyJapan
  2. 2.School of Computer ScienceUniversity of BirminghamUK
  3. 3.Faculty of MathematicsKyushu UniversityJapan