On-line handwritten formula recognition using hidden Markov models and context dependent graph grammars | IEEE Conference Publication | IEEE Xplore