We're working on a system which can parse student's ambiguous mathematical notation.
- Offer suggestions or decided what is meant based on context.
- Flexible parsing rules based on commonly used mathematical contexts.
- Output the resulting parse-trees in a variety of languages, e.g. LaTeX, Maxima.
The longer term goal of this work is to use the resulting parser in an online assessment system with students.