论文信息 - Extraction of Logical Structure from Articles in Mathematics

Extraction of Logical Structure from Articles in Mathematics

We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (Optical Character Recognition). Then the meta-information (e.g. title, author) and the logical structure (e.g. section, theorem) of the documents are automatically extracted.

[1] Masakazu Suzuki,et al. An Annotated Corpus and a Grammar Model of Theorem Description , 2003, MKM.

[2] Masakazu Suzuki,et al. INFTY: an integrated OCR system for mathematical documents , 2003, DocEng '03.

[3] Piotr Rudnicki,et al. An Overview of the MIZAR Project , 1992 .

[4] Michael Kohlhase. OMDoc: an infrastructure for OpenMath content dictionary information , 2000, SIGS.

[5] Stephen Wolfram,et al. The Mathematica Book , 1996 .

[6] Azriel Rosenfeld,et al. Document structure analysis algorithms: a literature survey , 2003, IS&T/SPIE Electronic Imaging.

[7] John E. Hopcroft,et al. Automatic Discovery of Logical Document Structure , 1998 .

[8] Masakazu Suzuki,et al. Quantitative analysis of mathematical documents , 2005, International Journal of Document Analysis and Recognition (IJDAR).