INFTY: an integrated OCR system for mathematical documents
Abstract
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysis of mathematical expressions, and manual error correction. In those procedures, several novel techniques are utilized for better recognition performance. Experimental results on about 500 pages of mathematical documents showed high character recognition rates on both mathematical expressions and ordinary texts, and sufficient performance on the structure analysis of the mathematical expressions.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Cited by
Sorted by citations
Khan, O., & Seo, J. (2026) · Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems · doi:10.1145/3772318.3791242 · Cited by 1 · see citing works
- Authors
- Suzuki, M., Tamari, F., Fukuda, R., Uchida, S., & Kanahori, T.
- Affiliations
- Kyushu University (JP)
- University of Teacher Education Fukuoka (JP)
- Oita University (JP)
- Tsukuba University of Technology (JP)
- Venue
- Proceedings of the 2003 ACM symposium on Document engineering
- Publisher
- ACM
- Published
- 2003-11-20
- Pages
- 95-104
- OpenAlex
- W2011296149
- Cited by
- 174
- References
- 0
- Citations by year
- 2026: 5 · 2025: 8 · 2024: 6 · 2023: 9 · 2022: 6 · 2021: 10 · 2020: 7 · 2019: 7 · 2018: 3 · 2017: 8 · 2016: 6 · 2015: 2 · 2014: 7 · 2013: 8 · 2012: 11
- FWCI
- 4.92
- Type
- conference paper
- Language
- en
- Open access
- closed
- Locations
- ACM Symposium on Document Engineering (DocEng) (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computer Vision and Pattern Recognition › Handwritten Text Recognition Techniques
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Mathematics, Computing, and Information Processing
- Physical Sciences › Engineering › Media Technology › Vehicle License Plate Recognition
- Keywords
- optical character recognition, mathematical documents, layout analysis, character recognition
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review