A methodology of parsing mathematical notation for mathematical computation

Mathematical notation has not been parsed effectively up to the present. In order to use mathematical notation on computer directly, and thus to develop many potential applications and to determine if common mathematical notation can be parsed by computer, we inquire into the omission mechanism of parentheses and operators, study the extension mechanism of mathematical notation, and establish a methodology to translate a two-dimensional mathematical expression into a textual functional meaning representation. This methodology is a combination of different formalization methods denoted by a defined box language, various context-sensitive grammars written in a defined metalanguage, and knowledge-based parsers.