Grammars for informal notation
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.
To run the tests
- Install npm
- Install nearley:
npm install nearley - Compile the grammar to JavaScript:
make jme-nearley.js - Now test.html should work.