TY - GEN

T1 - Verification of mathematical formulae based on a combination of context-free grammar and tree grammar

AU - Fujiyoshi, Akio

AU - Suzuki, Masakazu

AU - Uchida, Seiichi

PY - 2008

Y1 - 2008

N2 - This paper proposes the use of a formal grammar for the verification of mathematical formulae for a practical mathematical OCR system. Like a C compiler detecting syntax errors in a source file, we want to have a verification mechanism to find errors in the output of mathematical OCR. Linear monadic context-free tree grammar (LM-CFTG) was employed as a formal framework to define "well-formed" mathematical formulae. For the purpose of practical evaluation, a verification system for mathematical OCR was developed, and the effectiveness of the system was demonstrated by using the ground-truthed mathematical document database INFTY CDB-1.

AB - This paper proposes the use of a formal grammar for the verification of mathematical formulae for a practical mathematical OCR system. Like a C compiler detecting syntax errors in a source file, we want to have a verification mechanism to find errors in the output of mathematical OCR. Linear monadic context-free tree grammar (LM-CFTG) was employed as a formal framework to define "well-formed" mathematical formulae. For the purpose of practical evaluation, a verification system for mathematical OCR was developed, and the effectiveness of the system was demonstrated by using the ground-truthed mathematical document database INFTY CDB-1.

UR - http://www.scopus.com/inward/record.url?scp=51049084232&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=51049084232&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-85110-3_35

DO - 10.1007/978-3-540-85110-3_35

M3 - Conference contribution

AN - SCOPUS:51049084232

SN - 3540851097

SN - 9783540851097

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 415

EP - 429

BT - Intelligent Computer Mathematics - 9th International Conference, AISC 2008 - 15th Symposium, Calculemus 2008 - 7th International Conference, MKM 2008, Proceedings

T2 - 9th Int. Conf. Artificial Intelligence and Symbolic Computation, AISC 2008 - 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008 - 7th Int. Conf. Mathematical Knowledge Management, MKM 2008

Y2 - 28 July 2008 through 1 August 2008

ER -