next up previous
Next: Modified Grammars Up: Literature Review Previous: Post-processing Error Correction Rules

Formula Parsers

This section discusses types of existing formula parsing systems, past and present. These systems are possibly components of some larger existing system. Their ability to process input ranging from neat typeset print to sloppy handwritten entry is discussed.

The goal of a formula parser is to start with a set of recognised symbols, and return a description of the formula that they represent. Blostein and Grbavec  give a good overview of the categories of existing techniques for parsing mathematical formulae.

give a good overview of the categories of existing techniques for parsing mathematical formulae.



 

Steve Smithies
1999-11-13