An OCR System with OCRopus for Scientific Documents Containing Mathematical Formulas
SRILM -- An extensible language modeling toolkit