INFTY: an integrated OCR system for mathematical documents
Design of a mathematical expression understanding system