Capturing abstract matrices from paper

Authors:
Toshihiro Kanahori;Alan Sexton;Volker Sorge;Masakazu Suzuki
Affiliations:
Tsukuba University of Technology, Japan;School of Computer Science, University of Birmingham, UK;School of Computer Science, University of Birmingham, UK;Faculty of Mathematics, Kyushu University, Japan
Venue:
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Year:
2006

Citing 9
Cited 3

Matrix analysis

Matrix analysis
Introduction to numerical linear algebra and optimisation

Introduction to numerical linear algebra and optimisation
A Recognition Method of Matrices by Using Variable Block Pattern Elements Generating Rectangular Area

GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Structure analysis and recognition of mathematical expressions

ICDAR '95 Proceedings of the Third International Conference on Document Analysis and Recognition (Volume 1) - Volume 1
Detection of Matrices and Segmentation of Matrix Elements in Scanned Images of Scientific Documents

ICDAR '03 Proceedings of the Seventh International Conference on Document Analysis and Recognition - Volume 1
INFTY: an integrated OCR system for mathematical documents

Proceedings of the 2003 ACM symposium on Document engineering
Semantic Analysis of Matrix Structures

ICDAR '05 Proceedings of the Eighth International Conference on Document Analysis and Recognition
Abstract matrices in symbolic computation

Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Processing textbook-style matrices

MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management

Computerizing Mathematical Text with MathLang

Electronic Notes in Theoretical Computer Science (ENTCS)
Restoring Natural Language as a Computerised Mathematics Input Method

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

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.