Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar. - Seiichi Toyota; Seiichi Uchida; Masakazu Suzuki (Document Analysis Systems, 2006)