Parsing TEX into Mathematics
Abstract
Why are we doing this?
What does TeX know about Math
Ambiguity of spaces
Ambiguity of precedence and associativity
Ad hoc parsers and a sanity check
G&R forms which currently require intervention, and may not ever be worth parsing by machine
On the other hand, parsing TeX is easier than OCR
Despite shortcomings, here’s a successful example, 6.124 from G&R
Starting/Ending Encoding
Future
Email: fateman@uclink.berkeley.edu